より具体的に、f:X×X→Rが集合X上の擬距離であるとすると、a>0に対する逆像Ua:=f−1()の全体が適当な一様系の基本近縁系となることが示される。
更精确地说，设f:X×X→R为集合X上的一伪度量，逆像Ua=f–1()，其中的a>0，可证明能形成了一个一致性的基础周围系统。