metric space in German
metric space in German
metrischer Raum
(mathematics, analysis, topology) Any set on which a metric is defined, giving a distance between any two elements.