Una aplicación formula_56 se dirá diferenciable si su expresión en cartas lo es.