Assertion: y | /r/HasProperty | given by |x − y|
Facets:
Source sentences:
text: The absolute difference of two real numbers x, y is given by |x − y|, the absolute value of their difference.