Least upper bound
Redirect to:
Infimum and supremum