En sammandragningsmappning är en kartläggning av ett metriskt utrymme i sig självt som minskar avståndet mellan alla punkter i någon stark mening.
Låt en operator definieras på ett metriskt utrymme . Det kallas kontraktering på om det finns ett icke-negativt tal så att ojämlikheten för två punkter
.