ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F10437 on R4486: Metric space is Hausdorff

F10437

Formulation 0

Let $M = (X, \mathcal{T}_d, d)$ be a D1107: Metric space.

Then $M$ is a D465: Hausdorff topological space.