mathswitch — infrastructure for relaying and exchanging mathematical concepts

metric space

set equipped with a metric (distance function)

ProofWiki: Definition:Metric_Space
MathWorld: MetricSpace
Wikipedia (English): Metric_space
Wikidata: metric space
nLab: metric space