Unordered Pairs Exist

Theorem
Let $A$ and $B$ be classes.

Then:
 * $\forall A, B: \set {A, B} \in U$

where $U$ is the universal class.

Also see

 * Axiom:Axiom of Pairing (Class Theory)


 * Definition:Universal Class


 * Definition:Doubleton