Правильно ли я понимаю, что если я возьму ето опредедение, воткну туда теоркатное опредедение выше, я получу обычное привычное расслоение, где X будет искомым объектом (пространством). И если это у меня выйдет я смогу дальше поменять местами, повдуплять несколько часов и приблизиться к корасслоениям?