View
Italian
Esercizi
[06X]Prerequisiti:[06P].Sia \((X,≤)\) un insieme diretto, sia \(Y⊆ X\) cofinale: si mostri che \((Y,{≤}_{|{Y}})\) è un insieme diretto.
Similmente se \((X,≤)\) è filtrante, si mostri che \((Y,{≤}_{|{Y}})\) è filtrante.
Download PDF