 Let

be the set of upper bounds of "f".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.