Assertion: real number's property | /r/HasProperty | basic
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.