Assertion: real number's value | /r/HasProperty | the same
Facets:
value: always
type: DEGREE
Source sentences:
text: Specifically, the difference 1 − 0.999... must be smaller than any positive rational number, so it must be an infinitesimal; but since the reals do not contain nonzero infinitesimals, the difference is therefore zero, and therefore the two values are the same.
text: And it doesn't matter which way around we do a subtraction, the absolute value will always be the same:
text: However, in the common case of a positive real number the principal value is the same.