Une fonction f entre espaces métriques est lipschitzienne s'il existe une constante L≥0 telle que pour tous x,y la distance entre f(x) et f(y) est au plus L fois la distance entre x et y.
Il existe une constante L≥0 telle que pour tous x,y du domaine, d(f(x),f(y)) ≤ L·d(x,y). Le plus petit tel L est appelé constante de Lipschitz. Ceci donne une borne linéaire globale sur les incréments.