Begriff aus der Maßtheorie.

Es sei \(((\Omega_{i},\mathcal{A}_{i}|i\in I)\) eine Familie von Meßräumen, Ω eine weitere Menge und (f_i : Ω_i → Ω| i ∈ I) eine Familie von Abbildungen.

Dann existiert eine feinste σ-Algebra \(\mathcal{A}\) auf Ω, bzgl. der alle f_i meßbar sind. Es ist

\begin{eqnarray}\begin{equation}\mathcal{A}=\sigma(f_{i}|i\in I)=\bigcap\limits_{i\in I}\{A\subseteq \Omega |f_{i}^{-1}(A)\in\mathcal{A}_{i}\},\end{equation}\end{eqnarray}