Assertion: real number | /r/HasAspect | the least upper bound property
Facets:
Source sentences:
text: More formally, the real numbers have the two basic properties of being an ordered field, and having the least upper bound property.
text: Moreover, the ordering of the real numbers is total, and the real numbers have the least upper bound property: