Homotopy Extension Property

A property of an inclusion i:A→X (or of the pair (X,A)) that any homotopy H_t defined on A can be extended to a homotopy ˜H_t on X starting from any map f:X→Y restricting to the given homotopy on A; equivalently a recognition criterion for cofibrations in many settings.