allgemeine Vereinigung

Sei \((A_i)_{i \in I}\) eine Familie von Mengen über einer Grundmenge \(M\), d.h. \(A_i \subseteq M\) so ist die allgemeine Vereinigung definiert als:

\begin{align*} \bigcup_{i \in I} A_i = \{m \in M \vert \exists i \in I : m \in A_i\} \end{align*}