Para uma dupla de naturais qualquer, podemos tomar como sistema fundamental de vizinhanças $\mathcal{V}_x = \{ V_x \in \wp (\mathbb{N} \times \mathbb{N}) : x \in V_x \}$. Tomadas apenas as vizinhanças $V_x$ finitas, podemos definir um novo sistema fundamental $\mathcal{V'}_x$ de vizinhanças compactas.