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}