Sigmaendlicher Maßraum/Messbare numerische nichtnegative Funktion/Situation

Es sei ${}(M,{\mathcal {A}},\mu )$ ein ${}\sigma$-endlicher Maßraum und

$f\colon M\longrightarrow {\overline {\mathbb {R} }}_{\geq 0}$

eine messbare numerische nichtnegative Funktion