подпространство Xтопологич. пространства Y такое, что включение XМ Y является слабой гомотопич. эквивалентностью. А. .