Estas incluyen, para cualquier pareja de funciones formula_10 y formula_20 definidas en la vecindad de un punto formula_21, donde son diferenciables: