豪斯多夫空间
Some properties of Gromov–Hausdorff space.