Soit
un espace vectoriel normé.
On dit qu'un opérateur
est accrétif si pour tout
, pour tout
et pour tout
, on a

L'accrétivité est une manière d'exprimer la monotonicité d'un opérateur dans un espace dépourvu de produit scalaire (voir ce résultat).
On voit que si
est accrétif, quel que soit
et
, l'inclusion
a au plus une solution
.