Assertion: real number's value | /r/HasProperty | given for real numbers
Facets:
Source sentences:
text: The definition of absolute value given for real numbers above can be extended to any ordered ring.