Assertion: metric space | /r/HasProperty | described by function
Facets:
Source sentences:
text: A metric space is described by a function that maps pairs of points to the set of non-negative real numbers.