Gromov-Hausdorff topology (source code)

= Gromov-Hausdorff topology
{c}

The Gromov-Hausdorff topology on isometry classes of <compact metric spaces> is the topology induced by the <Gromov-Hausdorff distance>.