Axiom:Axiom of Pairing

Also see

 * Definition:Ordered Pair
 * Definition:Doubleton

Relation to other axioms
The Axiom of Pairing can be deduced as a consequence of:


 * $(1): \quad$ The Axiom of Infinity and the Axiom of Replacement: see Axiom of Pairing from Infinity and Replacement


 * $(2): \quad$ The Axiom of Powers and the Axiom of Replacement: see Axiom of Pairing from Powers and Replacement.