Assertion: arbitrary real number | /r/HasProperty | standard metric
Facets:
Source sentences:
text: The absolute value, as "distance from zero", is used to define the absolute difference between arbitrary real numbers, the standard metric on the real numbers.