Union of Singleton
Contents
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
- 1960: Paul R. Halmos: Naive Set Theory ... (previous) ... (next): $\S 4$: Unions and Intersections
- 1967: George McCarty: Topology: An Introduction with Application to Topological Groups ... (previous) ... (next): $\text{I}$: Unions and Intersections
- 1993: Keith Devlin: The Joy of Sets: Fundamentals of Contemporary Set Theory (2nd ed.) ... (previous) ... (next): $\S 1.4$: Sets of Sets: Exercise $1.4.2: \ \text{(i)}$