Gromov-Hausdorff distance
Gromov-Hausdorff distance
Infimum
of all
Hausdorff Distances
over mappings or correspondences.