Set is Subset of Itself

Theorem
Every set is a subset of itself.

$$\forall S: S \subseteq S$$