Es sei M {\displaystyle {}M} eine Menge und sei A j {\displaystyle {}{\mathcal {A}}_{j}} , j ∈ J {\displaystyle {}j\in J} , eine beliebige Familie von σ {\displaystyle {}\sigma } -Algebren auf M {\displaystyle {}M} .
Dann ist auch der Durchschnitt
eine σ {\displaystyle {}\sigma } -Algebra auf M {\displaystyle {}M} .
