Faithful functor


faithful functor is a functor.