Least upper bound

Redirect to:

  • Infimum and supremum