Definition:Class Equality

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

Then $A$ and $B$ are equal, denoted $A = B$, iff:


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

Comment
This definition "overloads" the $=$ sign, since $x = y$ could refer to either class equality or set equality.

However, this overloading is justified because for sets $x$ and $y$, $x = y$ is equal for either set equality or class equality.

This fact is proved on Class Equality Extension of Set Equality.

Also see

 * Class Equality Extension of Set Equality