eine auf einem Meßraum \(({\rm{\Omega }},{\mathscr{A}})\) definierte \(({\mathscr{A}}- {\mathcal B} ({\mathbb{R}}))\)-meßbare Funktion f : Ω → ℝ, die nichtnegativ ist und nur endlich viele Werte annimmt. Man nennt eine solche Funktion auch nichtnegative Treppenfunktion.