Assertion: real number's property | /r/HasProperty | the following
Facets:
Source sentences:
text: The basic properties of real numbers include the following: