[234]Prerequisiti:[06P]↺↻,[231]↺↻.Se \((X,≤)\) un insieme filtrante, \(Y⊆ X\) è cofinale, e \(U⊆ X\) è un intorno di \(∞\) in \(X\), si mostri che \(U∩ Y\) è un intorno di \(∞\) in \(Y\).
[235]↺↻
