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.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.