faithful functor

[ریاضیات] تابعگون صادق