价的有：formula_280是formula_279的光滑函数，对于formula_279的每个点formula_287给定一个formula_288的元素。大致来讲，微分形式是余切向量的全局版本。微分形式是微分几何的重要工具，其中，它们被用于定义德拉姆上同调和亚历山大-斯潘尼尔上同调。
推广.给定一个交换环formula_270和一个"formula_270"-模"formula_279"，我们可以定义和上文一样的外代数formula_292，它是张量代数formula_293