Tahap 1. Jika syarat pemurnian dari \(\mathcal B\) ke \(\mathcal C\) berlaku, tulis setiap \(B\in\mathcal B\) sebagai gabungan unsur-unsur \(\mathcal C\text{.}\)

Tahap 2. Untuk arah perlu, ingat bahwa anggota basis terbuka dalam topologi yang dibangkitkannya dan gunakan pencirian terbuka dengan unsur basis di sekitar setiap titik.

Tahap 3. Gunakan kerapatan \(\Q\) untuk memilih \(a\lt p\lt x\lt q\lt b\) ketika \(x\in(a,b)\text{.}\)