Se dice además que "f" es un "difeomorfismo" si es biyectiva, diferenciable y su inversa diferenciable.