Class Equality is Reflexive

Theorem
Let $A$ be a class.


 * $A = A$

Proof

 * $\forall x: \left({ x \in A \iff x \in A }\right)$