Assertion: set's property | /r/HasProperty | greatest-lower-bound
Facets:
value: lower
type: DEGREE
value: greatest
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.