Axiom:Axiom of Extension

Two sets are equal iff if they contain the same elements:


 * $$\forall x: \left( {x \in A \iff x \in B}\right) \iff A = B$$

The order of the elements in the sets is immaterial.

Otherwise known as the Axiom of Extensionality or Axiom of Extent.