Set is Subset of Itself

Theorem
Every set is a subset of itself:


 * $\forall S: S \subseteq S$