6.4 Hausdorff and Gromov–Hausdorff distance November 28, 2025 by jlamprecht https://en.wikipedia.org/wiki/Metric_space#Hausdorff_and_Gromov%E2%80%93Hausdorff_distance
