Gunakan \(\mathbb Q\) sebagai himpunan rapat dan \([x,x+1/n)\) sebagai basis lokal. Untuk menolak basis terhitung, pilih bagi setiap \(x\) satu anggota basis yang terletak di dalam \([x,x+1)\) dan perhatikan titik ujung kirinya.