ThmDex – An index of mathematical definitions, results, and conjectures.
Metric space is Hausdorff
Formulation 0
Let $M = (X, \mathcal{T}_d, d)$ be a D1107: Metric space.