Axiom:Axiom of Pairing/Also known as

Axiom
The axiom of pairing is also known as the axiom of the unordered pair.