Sean formula_1 variedades diferenciables, formula_2 una aplicación diferenciable y formula_3, llamaremos diferencial de formula_4 a