Axiom:Axiom of Pairing

Also see

 * Definition:Doubleton
 * Definition:Ordered Pair