Tahap 1. Gabungan semua unsur basis yang termuat dalam \(A\) adalah himpunan terbuka yang termuat dalam \(A\text{.}\)

Tahap 2. Jika \(x\in\Int(A)\text{,}\) gunakan sifat basis pada himpunan terbuka \(\Int(A)\) untuk menemukan unsur basis yang memuat \(x\) dan termuat dalam \(A\text{.}\)

Tahap 3. Titik-titik \((0,1)\) mempunyai interval kecil berujung rasional di dalam \(A\text{;}\) uji secara terpisah titik \(0,1,2\text{.}\)