Una aplicación de ese tipo se dice diferenciable si dada una carta local formula_15 que contenga al punto formula_16 y formula_17 que contenga a formula_18, la aplicación formula_19es diferenciable como función de formula_9 a formula_4.