Eine Menge M {\displaystyle {}M} , auf der eine σ {\displaystyle {}\sigma } -Algebra A {\displaystyle {}{\mathcal {A}}} erklärt ist, heißt ein Messraum.