Relative chain complex (source code)

= Relative chain complex
{title2=$C_*(X,A)$}

For a subspace $A\subseteq X$, the relative chain complex is the <quotient group> in each degree,
$$
C_k(X,A)=C_k(X)/C_k(A),
$$
with <boundary operator> $[c]\mapsto[\partial c]$. This is well defined because $C_*(A)$ is a <chain subcomplex> of $C_*(X)$.