豪斯多夫空间
特别是，紧致豪斯多夫空间是可一致化的。事实上，对于紧致豪斯多夫空间 "X" 在 "X" × "X" 中对角的所有邻域的集合形成了唯一的兼容于这个拓扑的一致性。