metrischer Raum

Sei \(X\) eine Menge und \(d: X \times X \rightarrow \mathbb{R}\) eine Metrik. Dann ist \((X,d)\) ein metrischer Raum