Soit une fonction réelle d’une variable réelle définie sur un domaine D. Soit une partie du domaine D. Il y a alors équivalence entre les deux propriétés suivantes :
La différentielle de f est alors
une fonction réelle d’une variable réelle définie sur un domaine D. Soit une partie 
du domaine D. Il y a alors équivalence entre les deux propriétés suivantes : 
,
.
