Assertion: metric space | /r/HasAspect | metric function
Facets:
Source sentences:
text: Every metric space comes with a metric function.