Mengenfamilie

Eine Mengenfamilie der Grundmenge \(\Omega\) ist eine Abbildung A von einer beliebigen Indexmenge I in die Potenzmenge \(P(\Omega)\) der Grundmenge \(\Omega\)

\begin{align*} A: I \rightarrow& P(\Omega) \\ i \mapsto& A_i \end{align*}