Messbare Funktion/Auf sigmaendlichem Maßraum/Graph hat Maß null/Fakt

Es sei ein -endlicher Maßraum und

eine messbare numerische Funktion.

Dann ist der Graph eine Nullmenge in .