Union of Doubleton

From ProofWiki
Jump to navigation Jump to search

Theorem

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


Then:

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


Proof

\(\displaystyle z \in \bigcup \set {x, y}\) \(\leadstoandfrom\) \(\displaystyle \exists w \in \set {x, y}: z \in w\) Definition of Union of Set of Sets
\(\displaystyle \) \(\leadstoandfrom\) \(\displaystyle \exists w: \paren {\paren {w = x \lor w = y} \land z \in w}\) Definition of Doubleton
\(\displaystyle \) \(\leadstoandfrom\) \(\displaystyle \paren {z \in x \lor z \in y}\) Equality implies Substitution
\(\displaystyle \) \(\leadstoandfrom\) \(\displaystyle z \in \paren {x \cup y}\) Definition of Set Union

$\blacksquare$


Sources