义如下。作为集合，有formula_28。对两个容许序列formula_18及formula_19的formula_22等价类formula_32，定义formula_33不难看到formula_34有良好定义，且为 formula_35上的度量。记formula_36。