Definition:Set Equality

Axiomatic Set Theory
The concept of set equality is axiomatised in the Axiom of Extension in Zermelo-Fraenkel set theory:

Also see

 * Equivalence of Definitions of Set Equality