Hausdorff space
Some properties of Gromov–Hausdorff space.