Definition:Set Union/Set of Sets

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

The union of $\mathbb S$ is:
 * $\displaystyle \bigcup \mathbb S := \left\{{x: \exists X \in \mathbb S: x \in X}\right\}$

That is, the set of all elements of all elements of $\mathbb S$.

Thus the general union of two sets can be defined as:
 * $\displaystyle \bigcup \left\{{S, T}\right\} = S \cup T$

Also denoted as
Some sources denote $\displaystyle \bigcup \mathbb S$ as $\displaystyle \bigcup_{S \mathop \in \mathbb S} S$.

Also see

 * Union of Doubleton for a proof that $\displaystyle \bigcup \left\{{S, T}\right\} = S \cup T$