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 $\set {a, b}$.

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

Also see

 * Axiom:Axiom of Pairing (Set Theory)


 * Union of Disjoint Singletons is Doubleton for a proof from the Zermelo-Fraenkel axioms that $\set a \cup \set b = \set {a, b}$ when $a \ne b$.