Tahap 1. Ambil \(U\in\tau\text{.}\) Untuk setiap \(x\in U\text{,}\) himpunan \(U\) sendiri merupakan lingkungan \(\tau\) dari \(x\text{.}\)

Tahap 2. Gunakan hipotesis untuk memilih himpunan \(\sigma\)-terbuka \(V_x\) dengan \(x\in V_x\subseteq U\text{.}\)

Tahap 3. Tulis \(U\) sebagai gabungan semua \(V_x\text{,}\) lalu ulangi argumen dengan peran kedua topologi ditukar.