Assertion: metric space | /r/HasProperty | real line
Facets:
Source sentences:
text: This observation rests on a footling calculation: that when the metric space concerned is the real line, this definition agrees with the usual one.
text: The metric space you may be most familiar with is the real numbers; there, the distance function is defined as d(x,y) = |y-x|.