57
[21J]Sia nel seguito \((J,≤)\) un insieme ordinato con la proprietà filtrante
\begin{equation} ∀ x,y∈ J ~ ∃ z∈ J,~ x< z\land y< z \end{equation}
58
(Si veda la sezione [2FJ]).
Una funzione \(f:J→X\) viene chiamata rete.
Questa \(f\) è una generalizzazione del concetto di successione; infatti l’insieme \(J=ℕ\) con il suo usuale ordinamento ha la proprietà filtrante