"的距离。若序列formula_20在等价类formula_32内，那么称formula_33。这样就在formula_34上定义了一个拓扑，使得"X"在formula_34内是稠密的。
等价定义.设格罗莫夫双曲空间"X"是测地和常态的，其理想边界有等价定义如下：