Relative simplicial chain complex (source code)

= Relative simplicial chain complex
{title2=$C_\bullet(K,L)$}

If $L$ is a <simplicial subcomplex> of $K$, then
$$
C_k(K,L)=C_k(K)/C_k(L).
$$
Its homology is the simplicial <relative homology> $H_k(K,L)$.