Un omeomorfismo fra due spazi topologici X e Y è una funzione continua f: X -> Y che è anche biunivoca e la cui inversa f^(-1): Y -> X è anch'essa continua

È davvero interessante, soprattutto quando inizi a riflettere su un controesempio in cui la funzione è continua e bigettiva ma l'inversa non è continua

Rimanendo alla solita topologia euclidea, la biiezione ovvia dall'intervallo [0,2π) alla circonferenza x^2+y^2=1 è continua, ma la sua inversa no.