A CW pair consists of a CW complex and a subcomplex . Its inclusion is a cofibration, so homotopies on extend across . The relative lifting property of a Serre fibration for such pairs allows specified boundary lifts to be retained while lifting a homotopy.
New to topics? Read the docs here!