Metrischer Raum

Eine Menge $X$ mit einer Metrik $d_X$.