Class Equality Extension of Set Equality

Theorem
Let $=_s$ denote set equality.

Let $=_c$ denote class equality.

Let $x$ and $y$ be sets.

Then $x =_s y$ $x =_c y$.