Definition:Doubleton

Definition
A doubleton is a set that contains exactly two elements.

The doubleton containing the distinct elements $a$ and $b$ can be written $\left\{{a, b}\right\}$.

The set $\left\{{a, b}\right\}$ is known as the doubleton of $a$ and $b$.

It is also known as an unordered pair.

Set Theory Definition
The doubleton can be defined as a class:


 * $\left\{{a, b}\right\} = \left\{{x : x = a \lor x = b}\right\}$

Also see

 * Axiom of Pairing