Set Equals Itself

Theorem
All sets are equal to themselves.

$$\forall S: S = S$$

Proof
$$S \subseteq S \land S \supseteq S$$ Subset of Itself

$$\iff S = S$$ Set equality