的一致性。若formula_30，则称一致性formula_19比一致性formula_28精细；或称formula_28比formula_19粗糙。
伪度量定义.一致空间也可以使用伪度量的系统来得到等价的定义，此种定义方式对泛函分析（带有由半范数而得的伪度量）特别有用。更精确地说，设 "f": "X" × "X" → R 为集合"X" 上的一伪度量，逆像 "U" = "f"([0,a])，其中的"a">0，可证明能形成了一个一致性的基础周围系统。由"U" 所生成的一致性即是由单个