"一致"的精确定义，见流形。
楔积的性质.若"f", "g","w"为任意微分形式，则若"f"为"k"-形式，"g"为"l"-形式：
抽象（简明）定义及讨论.在微分几何中，"k"阶微分k-形式是一个流形的余切丛的"k"阶外幂（exterior power）的光滑截面。在流形的每一点"p",一个"k"-形式给出一个从切空间的"k"阶笛卡儿幂（cartesian power）到R的多线性映射。例如，光滑函数（0-形式）的微分就是一个1-形式。1-形