Theorem: Zusammenhang zwischen induziertem Integral und Quellintegral

Sei ein Maßraum.
Sei eine Dichtefunktion.
Sei das Maß mit der Dichte bzgl. .
Sei eine beliebige borel-messbare, numerische Funktion.

Dann gilt: