Es sei M {\displaystyle {}M} ein σ {\displaystyle {}\sigma } -endlicher Maßraum,
eine messbare Funktion