Union of Singleton

From ProofWiki
Jump to navigation Jump to search


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$:

$\ds \mathbb S = \set S \implies \bigcup \mathbb S = S$


Let $\mathbb S = \set S$.

Then from the definition of set union:

$\ds \bigcup \mathbb S = \set {x: \exists X \in \mathbb S: x \in X}$

from which it follows directly that:

$\ds \bigcup \mathbb S = \set {x: x \in S}$

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

That is:

$\ds \bigcup \mathbb S = S$


Also see