Assertion: metric space | /r/HasProperty | equipped with some distance function
Facets:
Source sentences:
text: A metric space is a set equipped with some distance function.