Es sei ( M , A ) {\displaystyle {}(M,{\mathcal {A}})} ein Messraum und N ⊆ M {\displaystyle {}N\subseteq M} eine Teilmenge. Zeige, dass das Mengensystem
eine σ {\displaystyle {}\sigma } -Algebra auf N {\displaystyle {}N} ist (man spricht von der induzierten σ {\displaystyle {}\sigma } -Algebra).