Least upper bound

Redirect to:

• Infimum and supremum