Assertion: real number's bound | /r/HasProperty | complete
Facets:
Source sentences:
text: Hence u is a least upper bound for S and ≤ is complete.