Assertion: metric space | /r/MadeOf | set x
Facets:
value: with a metric d
type: OTHER
Source sentences:
text: A metric space consists of a set X together with a metric d, where X is given the metric topology induced by d.