строгий функтор

Мат. faithful functor