 Homotopy extension property

The Homotopy Extension Property (HEP) is a fundamental concept in algebraic topology, particularly in the context of topological spaces and homotopy theory. It essentially describes a condition under which homotopies defined on a subspace can be extended to the entire space.