Definition:Class Equality/Definition 1

Definition
Let $A$ and $B$ be classes. $A$ and $B$ are equal, denoted $A = B$, :


 * $\forall x: \paren {x \in A \iff x \in B}$

where $\in$ denotes class membership.