Union of Disjoint Singletons is Doubleton

Theorem
Let $\set a$ and $\set b$ be singletons such that $a \ne b$.

Then:
 * $\set a \cup \set b = \set {a, b}$