Homotopie-Erweiterungseigenschaft (HEP)

Eine Eigenschaft einer Einschließung i:A→X (oder des Paares (X,A)), wonach jede auf A definierte Homotopie H_t zu einer Homotopie ˜H_t auf X erweitert werden kann, beginnend von einer Abbildung f:X→Y, die auf A mit der gegebenen Homotopie übereinstimmt; äquivalent ein Erkennungsmerkmal für Cofibrationen in vielen Kategorien.