Dos variedades formula_1 y formula_2 son difeomorfas formula_8 si existe un difeomorfismo "f" entre ellas.