Assertion: real number's property | /r/HasProperty | an indicator of the suprema
Facets:
Source sentences:
text: The least-upper-bound property is an indicator of the suprema.