Кожна зіркова область є стисливою множиною через гомотопію прямої лінії. Зокрема, будь-який зірковий домен є однозв&#39;язною множиною.
Виправте зв'язність в цьому тексті: кожна зіркова область є стягуваною множиною через гомотопію прямої лінії. Будь-який зірковий домен є однозв'язним набором.