 Then the supremum of "f" is defined by 

if the set of upper bounds formula_8 is nonempty, and formula_9 otherwise.Alternatively, if for some formula_10 we have formula_11 for "all" formula_12 then formula_13.Now assume in addition that formula_14 is a measure space and, for simplicity, assume that the function formula_4 is measurable.