Definition:Fully Faithful Functor

Definition
Let $C$ and $D$ be categories.

Let $F : C \to D$ be a covariant functor.

The functor $F$ is fully faithful it is full and faithful.