 A number formula_16 is called an "essential upper bound" of "f" if the measurable set formula_17 is a set of measure zero, i.e., if formula_18 for "almost all" formula_19 in formula_20.Let

be the set of essential upper bounds.Then the essential supremum is defined similarly as

if formula_23, and formula_24 otherwise.