実は、コンパクトハウスドルフ空間Xに対して、X×Xの対角線集合の近傍全体の成す集合は、その位相と両立する「ただ一つの」一様系を成す。
事实上，对于紧致豪斯多夫空间X在X×X中对角的所有邻域的集合形成了唯一的兼容于这个拓扑的一致性。