Assertion: real number's bound | /r/Synonym | supremum
Facets:
Source sentences:
text: is ordered, meaning that there is a total order ≥ such that, for all real numbers , and : The order is Dedekind-complete; that is: every non-empty subset S of R with an upper bound in R has a least upper bound (also called supremum) in R .