Assertion: real number's bound | /r/HasProperty | the minimum of the whole set
Facets:
Source sentences:
text: a least upper bound u for S, an integer that is an upper bound for S and is less than or equal to every other upper bound for S. A well-ordered set also has the least-upper-bound property, and the empty subset has also a least upper bound: the minimum of the whole set.