ИСТИНА

Для пары мэп-морфизмов (один из которых сжимающий, а второе- накрывающий) одного послойно полного и открытого метрического отображения X→Z в другое непрерывное метрическое отображение Y→Z , где Z – нульмерный паракомпакт, существует такое непрерывное сечение первого отображения, что образы этого сечения под действием мэп-морфизмов являются совпадающими непрерывными сечениями, которые целиком состоят из точек совпадения мэп-морфизмов.