Union of Singleton

From ProofWiki
Jump to: navigation, search

Theorem

Consider the set of sets $\mathbb S$ such that $\mathbb S$ consists of just one set $S$.


Then the union of $\mathbb S$ is $S$:

$\displaystyle \mathbb S = \left\{{S}\right\} \implies \bigcup \mathbb S = S$


Proof

Let $\mathbb S = \left\{{S}\right\}$.

Then from the definition of set union:

$\displaystyle \bigcup \mathbb S = \left\{{x: \exists X \in \mathbb S: x \in X}\right\}$

from which it follows directly that:

$\displaystyle \bigcup \mathbb S = \left\{{x: x \in S}\right\}$

as $S$ is the only set in $\mathbb S$.

That is:

$\displaystyle \bigcup \mathbb S = S$

$\blacksquare$


Also see


Sources