皆包含一个属于B 的集合。因此，依据第二个公理，基础周围系统B 能无歧义地规范出一致性Φ 来：Φ 为由formula_24 中包含一个属于B 的集合的子集所组成的集合。每个一致空间都有个由对称周围所组成的基础周围系统。对一致性的正确直观概念可由下面度量空间的例子中得知：设("X","d") 为一度量空间，集合会形成一个基础周围系统，无歧义地规范出"X" 的标准一致结构来。然后，"x" 和"y" 称之为"U"-邻近的，若"x" 和"y" 之间距离最多为"a"。设formula_19和formula_