In Category Theory, A functor F:C→D is called faithful when F is injective on all homsets. See also Full Functor Fully Faithful Functor