Definition:Set Equality

Definition
Let $S$ and $T$ be sets.

Axiom of Extension
The concept of set equality is axiomatised as the Axiom of Extension in the axiom schemata of all formulations of axiomatic set theory:

Equality as applied to Classes
In the context of class theory, the same definition applies:

Also see

 * Equivalence of Definitions of Set Equality