ハウスドルフ空間
Some properties of Gromov–Hausdorff space.