如果任何兩點 d(A,B) 之間的距離測量值在一個空間中定義，並且 X 是此空間中的一個集合，那麼直徑 D(X) 就是所有 X 中的點 A 和 B 上 d(A,B) 的最小值。
定理：在歐幾里德空間中，D(H(X)) = D(X)。
