Ruang kompak Hausdorff yang terhitung kedua adalah reguler dan memenuhi hipotesis Urysohn. Untuk membangun basis di titik \(\infty\text{,}\) gunakan penutupan berhingga dari anggota basis yang relatif kompak.