Dimostrazione
a) f biunivoca e continua e f omeomorfismo Û f bicontinua Û " A aperto di X, f(A) aperto di Y Û f aperta;
b) f biunivoca e continua e f omeomorfismo Û f bicontinua Û " C chiuso di X, f(C) chiuso di Y Û f chiusa.