Least upper bound principle

Redirect to:

• Least-upper-bound property