Teorema
125
[0VV]Supponiamo che \((X,d)\) sia completo.
Dati numerabili \(A_ n\) aperti densi in \(X\), si ha che \(⋂_ n A_ n\) è denso.
Dati numerabili \(C_ n\) chiusi con parte interna vuota in \(X\), si ha che \(⋃_ n C_ n\) ha parte interna vuota.