Definition:Set Union/General Definition

From ProofWiki
Jump to navigation Jump to search


Let $S$ be a set.

The union of $S$ is:

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

That is, the set of all elements of all elements of $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.