Wesentliches Supremum

Für eine messbare Funktion f auf einem Maßraum ist das wesentliche Supremum die kleinste erweiterte reelle Zahl M, so dass f(x) ≤ M für fast alle x gilt (d. h. bis auf eine Menge vom Maß Null). Es ignoriert Ausnahmen auf Nullmengen und liefert eine fast‑überall obere Schranke statt eines punktweisen Maximums.