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