Cochain subcomplex (source code)

= Cochain subcomplex
{title2=$d(S^n)\subseteq S^{n+1}$}

A sequence of submodules preserved by the differential of a <cochain complex>. Its inclusion is a map of complexes.