In mathematics, especially in order theory, an upper bound of a subset of some partially ordered set is an element of which is greater than or equal to every element of . The term lower bound is defined dually as an element of K which is less than or equal to every element of . A set with an upper bound is said to be bounded from above by that bound, a set with a lower bound is said to be bounded from below by that bound. The terms bounded above (bounded below) are also used in the mathematical literature for sets that have upper (respectively lower) bounds [1].

Bounds of functions

The definitions can be generalized to functions and even sets of functions. Given a function with domain and a partially ordered set as codomain, an element of is an upper bound of if for each in . The upper bound is called sharp if equality holds for at least one value of . Function defined on domain and having the same codomain is an upper bound of if for each in . Function is further said to be an upper bound of a set of functions if it is an upper bound of each function in that set. The notion of lower bound for (sets of) functions is defined analogously, with replacing .