Jaring \((a_U)\text{,}\) dengan indeks lingkungan dan lingkungan yang lebih kecil dianggap lebih akhir, konvergen ke \(x\text{.}\) Basis lokal menurun \(V_n\) memberi barisan \(a_n\in A\cap V_n\text{.}\) Pada ruang umum, penutup selalu dideteksi jaring tetapi tidak selalu dideteksi barisan.