Axiom:Axiom of Pairing/Class Theory

Axiom
Let $a$ and $b$ be sets.

Then the class $\set {a, b}$ is likewise a set.

Also see

 * 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