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.