Formalmente, "F" es diferenciable si para todo punto "p" de "M" podemos encontrar una carta formula_57 de "M" que lo contenga y una carta formula_58 de "N" que contenga a "F(p)" tales que formula_59 sea diferenciable.