Lingkungan seragam pada setiap kompak dapat dibandingkan dua arah dengan irisan berhingga subbasis \([K_i,U_i]\text{.}\) Kekompakan memberi keberhinggaan dan sifat Hausdorff memberi penyusutan kompak yang diperlukan.