Assertion: metric space | /r/HasProperty | taken with metric
Facets:
value: on that set
type: LOCATION
value: together
type: MANNER
Source sentences:
text: A metric space is a set taken together with a metric on that set.