Gunakan \(\mathbb Q\) untuk kepadatan. Jika ada basis terhitung, pilih satu unsur basis \(B_x\) di antara \(x\) dan \([x,x+1)\) untuk setiap \(x\text{.}\)