Pair is Union of Singletons

Theorem
Let $x, y$ be arbitrary.

Then $\left\{ {x, y}\right\} = \left\{ {x}\right\} \cup \left\{ {y}\right\}$

Proof
Straightforward from Union of Unordered Tuples.