是所有可能的积的和。现在，我们来定义光滑流形上的"k"-形式。为此，我们假设有一个开坐标覆盖。我们可以在每个坐标邻域上定义一个"k"-形式；一个全局的"k"-形式就是一组坐标领域上的"k"-形式，他们在坐标邻域的交集上一致。这种"一致"的精确定义，见流形。
楔积的性质.若"f", "g","w"为任意微分形式，则若"f"为"k"-形式，"g"为"l"-形式：
抽象（简明）定义及讨论.在微分几何中，"k"阶微分k-形式是一个流形的余切丛的"k"阶外幂