Assertion: real number's value | /r/HasProperty | − y|
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.