Set is Subset of Itself

Theorem
Every set is a subset of itself:


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

Proof
$$ $$