Class is Extensional

Theorem
Let $A$ be a class.


 * $A = \{ x : x \in A \}$

Proof

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