Axiom:Axiom of Extension (Classes)

Axiom
Two classes are equal if they contain the same elements:


 * $\forall x: \paren {x \in A \iff x \in B} \iff A = B$

The order of the elements in the sets is immaterial.

Also known as
Otherwise known as the axiom of extensionality