Description: The set of faithful functors is a relation. (Contributed by Mario Carneiro, 26-Jan-2017)