Least-upper-bound principle

Redirect to:

• Least-upper-bound property