Assertion: real number's value | /r/HasProperty | absolute
Facets:
Source sentences:
text: Magnitudes are always non-negative real numbers, and to any non-zero number there belongs a positive real number, its absolute value.
text: According to Ostrowski's theorem, up to a natural notion of equivalence, the real numbers and p {\displaystyle p} -adic numbers, with their orders and absolute values, are the only valuations, absolute values, and places on the rational numbers.