Ein Teilmengensystem A {\displaystyle {}{\mathcal {A}}} auf M {\displaystyle {}M} heißt σ {\displaystyle {}\sigma } -Algebra, wenn folgende Bedingungen erfüllt sind.