Set is Subset of Itself

Theorem
Every set is a subset of itself:


 * $\forall S: S \subseteq S$

Thus, by definition, the relation is a subset of is reflexive.