Gromov–Hausdorff Convergence

A notion of convergence for (compact) metric spaces defined by the infimum of Hausdorff distances between isometric embeddings of the spaces into a common metric space; two spaces converge in the Gromov–Hausdorff sense when they can be made arbitrarily close up to isometry.