Pair is Union of Singletons

From ProofWiki
Jump to: navigation, search

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.

$\blacksquare$


Sources