设f为X∖X的映射到[0,+∞]。那么集合{f(x,x′)>s}族,其中s贯穿所有实数>0的集合,形式是X上均匀性的基本系统随行人员,当且仅当f满足以下条件条件: i) f(x,x)=0 对于所有 x∈X; ii) 对于每个s>0,都存在t>0,使得关系f(x,x′)≤t意味着f(x,x′)≤s; iii) 对于每个s>0,都存在c>0,使得关系f(x,z)≤c和f(z,y)≤c暗示f(x,y)≤a。
条件 ii) 和 iii) 特别满足,如果 I=[0,+∞] 的映射 φ 在其自身上是连续的,并且零在点 0 处,并且 I∖I 的映射 ψ 存在于I 是连续的,零在点 (0,0),因此我们有相同的
f(y,x)≤φ(f(x,y))andf(x,y)≤ψ(f(x,z),f(z,y)).