Propiedad de Extensión de Homotopía (HEP)

Una propiedad de una inclusión i:A→X (o del par (X,A)) que dice que toda homotopía H_t definida sobre A puede extenderse a una homotopía ˜H_t sobre X, partiendo de cualquier mapa f:X→Y que restrinja a la homotopía dada en A; es también un criterio para reconocer cofibraciones en muchos contextos.