Definizione
65
[0K4] Sia \((Y, σ)\) spazio topologico Hausdorff. Sia \((J,≤)\) un insieme con ordinamento filtrante (definita in [06M]). Sia \(φ:J→ Y\) una rete (già incontrata in Sez. [29X]).
Si pone \(\lim _{j∈ J} φ(x) = ℓ ∈ Y\) se e solo se, per ogni intorno \(V\) di \(ℓ\) in \(Y\) si ha che \(φ(j)∈ V\) definitivamente per \(j∈ J\).