Dado un subconjunto formula_16 de una variedad formula_1 y un subconjunto formula_18, una función formula_19 es diferenciable (suave) si para cada formula_20 existen un entorno formula_21 y una función diferencialbe (suave) formula_22 tal que formula_23 (nótese que "g" es una extensión de "f").