##  [Propriété d'Extension d'Homotopie (HEP)](/fr/node/62241) 

  ##  [Propriété d'Extension d'Homotopie (HEP)](https://puremath.quantumdictionary.io/fr/node/62242) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Une propriété de l'inclusion i:A→X (ou de la paire (X,A)) telle que toute homotopie H_t définie sur A peut être étendue en une homotopie ˜H_t sur X partant d'une application f:X→Y qui restreint sur A à l'homotopie donnée ; c'est aussi un critère de reconnaissance des cofibrations dans de nombreux cadres.