функтор вложения

Мат. embedding functor