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} . Zeige, dass der Durchschnitt
ebenfalls eine σ {\displaystyle {}\sigma } -Algebra auf M {\displaystyle {}M} ist.