\begin{definition}[Definition:Class Equality/Definition 1]
Let $A$ and $B$ be classes.
$A$ and $B$ are '''equal''', denoted $A = B$, {{iff}}:
:$\forall x: \paren {x \in A \iff x \in B}$
where $\in$ denotes class membership.
\end{definition}