CW pair (source code)

= CW pair
{c}
{title2=$(X,A)$}

A CW pair consists of a <CW complex> $X$ and a subcomplex $A$. Its inclusion is a <cofibration>, so homotopies on $A$ extend across $X$. The relative lifting property of a <Serre fibration> for such pairs allows specified boundary lifts to be retained while lifting a homotopy.