\begin{definition}[Definition:Full Subcategory]
Let $\mathbf D$ be a metacategory, and let $\mathbf C$ be a subcategory of $\mathbf D$.
Then $\mathbf C$ is called a '''full subcategory''' {{iff}} the inclusion functor $i: \mathbf C \to \mathbf D$ is full.
\end{definition}