Assertion: real number's supremum | /r/HasProperty | the least upper bound
Facets:
value: consequently
type: OTHER
Source sentences:
text: Consequently, the supremum is also referred to as the least upper bound (or LUB).