Die Voraussetzung bedeutet einfach, dass d ′ ∘ d {\displaystyle {}d'\circ d} die Nullabbildung ist. Dann ist insbesondere die globale Auswertung die Nullabbildung.