次数付き微分代数
↑ したがって d は、それが次数を上げる場合、A は鎖複体の構造を持ち、d はその鎖複体の「微分」となる。次数を上げる場合も同様に、双対鎖複体の「微分」となる。
↑ これは d が次数付きの意味での積の微分法則を満足することを言うものである