Es sei (M,A,μ){\displaystyle {}(M,{\mathcal {A}},\mu )} ein σ{\displaystyle {}\sigma }-endlicher Maßraum und
eine messbare numerische Funktion.
Dann ist der Graph Γ(f){\displaystyle {}\Gamma (f)} eine Nullmenge in M×R¯{\displaystyle {}M\times {\overline {\mathbb {R} }}}.