Assertion: set's property | /r/HasProperty | least--bound
Facets:
value: least
type: DEGREE
Source sentences:
text: There is a corresponding 'greatest-lower-bound property'; an ordered set possesses the greatest-lower-bound property if and only if it also possesses the least-upper-bound property; the least-upper-bound of the set of lower bounds of a set is the greatest-lower-bound, and the greatest-lower-bound of the set of upper bounds of a set is the least-upper-bound of the set.
text: Similarly, the set ℤ of integers has the least-upper-bound property; if S is a nonempty subset of ℤ and there is some number n such that every element s of S is less than or equal to n, then there is
text: An example of a set that lacks the least-upper-bound property is ℚ, the set of rational numbers.