least-upper-bound axiom

least-upper-bound axiom

[¦lēst ‚əp·ər ¦bau̇nd ′ak·sē·əm]
(mathematics)
The statement that any set of real numbers that has an upper bound also has a least upper bound.