Tahap 1. Pisahkan dua titik \(A\) dengan himpunan terbuka di \(X\text{,}\) lalu ambil jejaknya.

Tahap 2. Tuliskan himpunan tertutup \(F\) dalam \(A\) sebagai \(A\cap C\) dengan \(C\) tertutup dalam \(X\text{.}\)

Tahap 3. Untuk sifat \(T_1\text{,}\) perhatikan bahwa setiap himpunan satu titik tertutup.