faithful functor

Мат. строгий функтор