Assertion: real number | /r/HasProperty | metric space
Facets:
Source sentences:
text: Under the usual (Euclidean) distance function d(x, y) = |x − y|, the real numbers are a metric space and hence also a topological space.