Arahkan himpunan semua lingkungan \(x\) dengan urutan pembalikan inklusi dan pilih satu titik \(a_U\in A\cap U\text{.}\) Untuk barisan, buat basis lokal menurun dari basis lokal terhitung.