Union of Subsets is Subset/Set of Sets

From ProofWiki
Jump to navigation Jump to search


Let $T$ be a set.

Let $\mathbb S$ be a set of sets.

Suppose that for each $S \in \mathbb S$, $S \subseteq T$.


$\ds \bigcup \mathbb S \subseteq T$


Let $x \in \ds \bigcup \mathbb S$.

By the definition of union, there exists an $S \in \mathbb S$ such that $x \in S$.

By premise, $S \subseteq T$.

By the definition of subset, $x \in T$.

Since this result holds for each $x \in \ds \bigcup \mathbb S$:

$\ds \bigcup \mathbb S \subseteq T$