Да и результат тоже появляется (несложный, конечно): расстояние ГромоваХаусдорфа  внутренняя обобщенная псевдометрика. Конечно, если хочется сохранить эту страничку исключительно для компактов, может, создать другую, для расстояния ГромоваХаусдорфа, где излагался бы общий подход, непосредственно восходящий к оригиналу?