text: Мы можем подразделить X {\displaystyle X} в комплекс R ( X ) {\displaystyle R(X)} , потребовав, чтобы порождённое отображение f : R ( X ) → R ( S R ) {\displaystyle f:R(X)\rightarrow R(S_{R})} ограничивалось гомеоморфизмом в каждую ограниченную ячейку.