Assertion: real number | /r/HasProperty | mathematical set
Facets:
Source sentences:
text: The real numbers are a mathematical set with the properties of a complete ordered field.