Tahap 1. Daftarkan himpunan terbuka tak kosong yang memuat \(a\) dan yang memuat \(b\text{.}\)

Tahap 2. Perhatikan satu titik yang berada dalam setiap himpunan terbuka tak kosong pada topologi ini.

Tahap 3. Tunjukkan bahwa titik tersebut harus berada dalam \(O_x\cap O_c\text{.}\)