Definition:Set Equality

Two sets are equal if and only if they have the same contents.

This can be defined rigorously as:

$$S = T \iff \left( {\forall x: x \in S \iff x \in T}\right)$$

where $$S$$ and $$T$$ are both sets.

The concept of set equality is axiomatised in the Axiom of Extension.