Essential Supremum

For a measurable function f on a measure space, the essential supremum is the smallest extended real number M such that f(x) ≤ M for almost every x (i.e., except on a set of measure zero). It ignores exceptional values on null sets and therefore yields an a.e. upper bound rather than a pointwise maximum.