En deformationstilbagetrækning af et topologisk rum er en delmængde , der har den egenskab, at der er en homotopi af den identiske kortlægning af rummet til en vis kortlægning , hvorunder alle punkter i sættet forbliver faste. Hvis, under homotopi, punkter fra kun bevæger sig langs , så kaldes det en streng deformation tilbagetrækning .