Tetapkan lingkungan buka \(W\) dari \(x\text{.}\) Dalam urutan balik, setiap indeks \(U\succeq W\) memenuhi \(U\subseteq W\text{.}\) Karena \(x_U\in U\text{,}\) kita memperoleh \(x_U\in W\text{.}\) Jadi jaring akhirnya berada dalam setiap lingkungan \(W\text{,}\) tepat definisi \(x_U\to x\text{.}\)