\begin{definition}[Definition:Doubleton]
A '''doubleton''' is a set that contains exactly two elements.
The '''doubleton''' containing the distinct elements $a$ and $b$ can be written $\set {a, b}$.
The set $\set {a, b}$ is known as '''the doubleton of $a$ and $b$'''.
\end{definition}