Least-upper-bound principle

Redirect to:

  • Least-upper-bound property