一般拓扑空间内，给定集合"A" 和"B"，有意义的概念只有：点"x" 能“任意邻近”"A"（亦即在"A" 的闭包内）；或是和"B"相比，"A" 是"x" 的“较小邻域”，但点间邻近性和相对邻近性就不能只用拓扑结构来描述了。一致空间广义化了度量空间和拓扑群，因此成为多数数学分析的根基。
定义.一致空间有三个等价定义。
周围定义.考虑集合formula_1以及非空集族formula_2。二元组formula_3称为一致空间。若其满足如下公理：其中，fo