令Ω=Ω0⊕Ω1⊕Ω2⊕...为分次代数，为幂零(即)分次导子，即对Ω中所有ω1与ω2有d(ω1ω2)=d(ω1)ω2+(-1)deg(ω1)ω1d(ω2)，其中，一个度为的分次导子是一个线性映射，并满足。

则(Ω,d)为微分分次代数。