immersion functor

Мат. функтор погружения