完全正則空間Xの位相と両立する一様系が、X上の全ての実数値連続函数が一様連続となるような最も粗い一様系によって与えられる。
兼容于完全正则空间X的拓扑的一个一致性可以定义为最粗糙一致性，它使得所有X上的连续实数值函数为一致连续。