Assertion: set's number | /r/CapableOf | use ordinary absolute value
Facets:
value: to measure distances
type: PURPOSE
Source sentences:
text: Cantor's construction of the real numbers is similar to the above construction; the real numbers are the completion of the rational numbers using the ordinary absolute value to measure distances.