Axiom:Axiom of Pairing/Class Theory

Also see

 * Equivalence of Definitions of Axiom of Pairing for Classes


 * Definition:Doubleton Class


 * Doubleton Class can be Formed from Two Sets, which demonstrates the fact that the class $\set {a, b}$ can be created in the first place