Definizione
101
[231] Se \(X\) è filtrante, “un intorno di \(∞\) in \(X\)” è un sottoinsieme \(U⊆ X\) tale che
\[ ∃ k∈ X ∀ j∈ X,j≥ k ⇒ j∈ U~ . \]
[231] Se \(X\) è filtrante, “un intorno di \(∞\) in \(X\)” è un sottoinsieme \(U⊆ X\) tale che