하우스도르프 공간
Some properties of Gromov–Hausdorff space.