Definition:Inclusion Relation on Subobjects

Definition
Let $\mathbf C$ be a metacategory.

Let $C$ be an object of $\mathbf C$.

Let $\mathbf{Sub}_{\mathbf C} \left({C}\right)$ be the category of subobjects of $C$.

The inclusion relation $\subseteq$ on subobjects of $C$ is defined as follows:


 * $m \subseteq m'$ iff there exists a morphism $f: m \to m'$