Good pair (source code)

= Good pair

A pair $(X,A)$ is good when $A$ is closed and is a deformation retract of some neighborhood in $X$. Such a pair satisfies the hypotheses needed to compare relative homology with the reduced homology of a quotient.