A lower bound or a nonempty subset of that is bounded below is a real number such that for all . A greatest lower bound (or infimum) for a nonempty subset of that is bounded below is a real number such that
An upper bound for a nonempty subset of that is bounded above is a real number such that for all . A least upper bound (or supremum) for a nonempty subset of that is bounded above is a real number such that
The distance from a point to a set in a metric space is . There may be no point such that , so it is necessary to use an infimum to define this distance.