_19，序列("d"("x","y"))有界，因此存在"ω"-极限formula_20。在formula_17中定义关系formula_22如下：对formula_23，每当formula_24时便有 formula_25。易知formula_22 是等价关系。序列("X","d", "p")关于"ω"的超极限是一个度量空间formula_27，定义如下。作为集合，有formula_28。对两个容许序列formula_18及formula_19的formula_22等价类formula_32，定