Assertion: real number's bound | /r/HasProperty | smaller element
Facets:
value: strictly
type: DEGREE
Source sentences:
text: Minimal upper bounds are those upper bounds for which there is no strictly smaller element that also is an upper bound.