Un difeomorfismo es un homeomorfismo diferenciable entre variedades diferenciables cuya inversa también es diferenciable; es decir, es un isomorfismo de variedades diferenciables.