Union of Doubleton

Theorem
Let $\set {x, y}$ be a doubleton.

Then:
 * $\displaystyle \bigcup \set {x, y} = x \cup y$