\begin{definition}[Definition:Class Equality/Definition 2]
Let $A$ and $B$ be classes.
$A$ and $B$ are '''equal''', denoted $A = B$, {{iff}}:
:$A \subseteq B$ and $B \subseteq A$
where $\subseteq$ denotes the subclass relation.
\end{definition}