Assertion: metric space | /r/HasProperty | given metric topology
Facets:
Source sentences:
text: Every metric space can be given a metric topology, in which the basic open sets are open balls defined by the metric.