Definition:Class Equality

Definition
Let $A$ and $B$ be classes.


 * $A = B$ iff $\forall x: ( x \in A \iff x \in B )$