Syarat \(T_1\) di dalam \(T_3\) membuat himpunan satu titik tertutup; sifat Hausdorff membuat komplemen setiap titik terbuka; dan sifat \(T_1\) langsung memberi himpunan buka pembeda.