# Unordered Pairs Exist

 It has been suggested that this page or section be merged into Axiom:Axiom of Pairing. (Discuss)

## Theorem

Let $A$ and $B$ be classes, which may be either sets or proper classes.

Then:

$\forall A, B: \left\{{A, B}\right\} \in U$

where $U$ is the universal class.

## Proof

 $\displaystyle \forall A, B$ $:$ $\displaystyle \exists x: \forall y: \left({y \in x \iff y = A \lor y = B}\right)$ Axiom of Pairing $\displaystyle \implies \ \$ $\displaystyle \forall A, B$ $:$ $\displaystyle \exists x: x = \left\{ {y: y = A \lor y = B}\right\}$ Definition of Set Equality $\displaystyle \implies \ \$ $\displaystyle \forall A, B$ $:$ $\displaystyle \left\{ {y: y = A \lor y = B}\right\} \in U$ Element of Universe $\displaystyle \implies \ \$ $\displaystyle \forall A, B$ $:$ $\displaystyle \left\{ {A, B}\right\} \in U$ Definition of Doubleton

$\blacksquare$