惟一扩张成 "E" 的外代数上一个度数为 1 的分次导子：那么二元组 ("E","d") 称为李余代数如果 "d" = 0，即外代数的分次分量与导子一起 formula_3 构成一个上链复形：
与德拉姆复形的关系.就像流形上向量场的外代数（张量代数也是）构成一个（基域 "K" 上的）李代数，流形上微分形式的德拉姆复形形成一个李余代数。进一步，在向量场与微分形式之间有一个配对。但形式要微妙些：李代数不是光滑函数 formula_5 上线性的（误差是李导数），外导数也不是：for