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.