greatest-lower-bound axiom

greatest-lower-bound axiom

[¦grād·əst ‚lō·ər‚bau̇nd ′ak·sē·əm]
(mathematics)
The statement that any set of real numbers that has a lower bound also has a greatest lower bound.