Greatest-lower-bound property

Redirect to:

  • Least-upper-bound property