Az $f:$ $R \mapsto R$ leképezést kontrakciónak nevezzük, ha létezik olyan $0<q<1$ valós szám, hogy minden $x \in R$ és $y \in R$ esetén \( \mid f(x)-f(y) \mid \leq q \cdot \mid x -y \mid \) Megnézem az erről a képletről szóló tananyagot Ezt a képletet még az alábbi kurzusainkban is megtalálod: Lineáris algebra / Iterációs módszerek egyenletrendszerek megoldására / Az iteráció működése és Banach fixponttétele A kontrakciók zsugorító leképezések.