Greatest-lower-bound property

Redirect to:

• Least-upper-bound property