Formalmente, se dice que "f" es "diferenciable" en "x" si existe una forma lineal continua "A" : "V" → "W" tal que