(begrenzte oder unbegrenzte) Folge linearer Abbildungen \begin{eqnarray}{\phi }_{i}:{V}_{i}\to {V}_{i+1}\end{eqnarray}

zwischen Vektorräumen V_i, die bei jedem V_i exakt ist, die also für jedes i die folgende Beziehung zwischen Kern und Bild der jeweiligen linearen Abbildung erfüllt: \begin{eqnarray}\mathrm{Im}({\varphi }_{i-1})=\text{Ker}({\varphi }_{i}).\end{eqnarray}