inclusion functor

Мат. функтор включения