Un retracto de deformación de un espacio topológico es un subconjunto que tiene la propiedad de que existe una homotopía del mapeo idéntico del espacio en algún mapeo , bajo el cual todos los puntos del conjunto permanecen fijos. Si, bajo homotopía, los puntos de se mueven solo a lo largo de , entonces se llama una retracción de deformación estricta .