Begriff aus der Mengenlehre.

Die Vereinigung der Familie von Mengen (X_i)_i∈I ist erklärt durch \begin{eqnarray}\underset{i\in l}{\mathop \bigcup}\,{{X}_{i}}:=\left\{x:\,\text{es}\,\text{gibt}\,\text{ein}\,{i}\,\in \,{I}\,\text{mit}\,x\,\in \,{{X}_{i}} \right\}.\end{eqnarray} Ist I = {i₁, …, i_n}, n ∈ ℕ, eine endliche Menge, so schreibt man auch \begin{eqnarray}{X}_{i_1}\displaystyle \cup \cdots \displaystyle \cup {X}_{i_n}\end{eqnarray} anstelle von \begin{eqnarray}\underset{i\in l}{\mathop \bigcup}\,{{X}_{i}}.\end{eqnarray} Siehe auch Verknüpfungsoperationen für Mengen.