：《General Topology》 Chapter IX §1 no. 4）。
一致覆盖定义.一致空间 ("X",Θ) 是集合 "X" 配备显着的“一致覆盖”族 Θ，它来自 "X" 的覆盖的集合，在按星号精致排序的时候形成了滤子。你可以称唿覆盖 P 是覆盖 Q 的星号精致(refinement)写为 P<*Q，如果对于所有 "A"∈P，有 "U"∈Q 使得如果 "A"∩"B"≠∅，"B"∈P，则 "B"⊆"U"。公理化可简约为：给定一个点 "x" 和一致覆盖 P，可以把包