Definition:Set Equality

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