Fully faithful functor


fully faithful functor is a full functor.