Collapsing a pair theorem (source code)

= Collapsing a pair theorem

For a good pair $(X,A)$, the quotient map induces natural isomorphisms
$$
H_q(X,A)\cong\widetilde H_q(X/A).
$$