Set Equals Itself

Theorem
All sets are equal to themselves:


 * $$\forall S: S = S$$

Proof
$$ $$