Assertion: real number's distance | /r/DefinedAs | absolute value
Facets:
Source sentences:
text: First, the distance between x and y is defined as the absolute value |x − y|, where the absolute value |z| is defined as the maximum of z and −z, thus never negative.