Subset Relation is Reflexive

Theorem
Let $C$ be a class

The inclusion relation $\subseteq$ on $C$ is a reflexive relation on $C$.

Proof
So $\subseteq$ is reflexive.