Set Equals Itself

Theorem
All sets are equal to themselves:


 * $\forall S: S = S$