三个等价定义。
周围定义.考虑集合formula_1以及非空集族formula_2。二元组formula_3称为一致空间。若其满足如下公理：其中，formula_19称为formula_1的一致结构或一致性，其元素称为周围（法语entourage：邻居或周围），而集合formula_21记为formula_22，称为对角。若忽略最后一项公理，则称此空间为准一致空间。通常写 "U"["x"]={"y" : ("x","y")∈"U"}。在图形上，典型的周围被绘制为围绕“