Definition:Fully Faithful Functor

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

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

$F$ is fully faithful it is both full and faithful.