EDB — 0VV

[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.