EDB — 0K4

[0K4] Sia $(Y,\sigma )$ spazio topologico Hausdorff. Sia $(J,\le )$ un insieme con ordinamento filtrante (definita in [06M]↺↻). Sia $\phi :J\to Y$ una rete (già incontrata in Sez. [29X]↺↻).

Si pone $\underset{j\in J}{lim}\phi (x)=\ell \in Y$ se e solo se, per ogni intorno $V$ di $\ell$ in $Y$ si ha che $\phi (j)\in V$ definitivamente per $j\in J$.