Ya. Koleksi \(\mathcal B\) mencakup \(\Z\text{.}\) Untuk titik ganjil dalam irisan dua anggota basis, singletonnya memperhalus irisan; untuk titik genap, kedua anggota basis yang beririsan di titik itu harus sama-sama \(B(x)\text{.}\) Jadi kedua syarat basis terpenuhi.