Definition:Set Union/General Definition

From ProofWiki
Jump to: navigation, search


Let $S$ be a set.

The union of $S$ is:

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

That is, the set of all elements of all elements of $\mathbb S$ which are themselves sets.

Also denoted as

Some sources denote $\displaystyle \bigcup S$ as $\displaystyle \bigcup_{X \mathop \in S} X$.

Also see

  • Definition:Union of Set of Sets: subtly different from this, the assumption is that all elements of $S$ are in fact sets, whereas this more general version does not make that assumption.