Metrischer Raum

Eine Menge XX mit einer Metrik dXd_X.