"q")-形式:定义就和通常的微分形式一样，只不过实数乘法为张量积取代：特别地，一个通常（R-值）"p"-形式与一个 "E"-值 "q"-形式的张量积自然是一个 "E"-值 ("p"+"q")-形式（因为 "E" 与平凡丛 "M" × R 的张量积自然同构于 "E"）。对 "ω" ∈ Ω("M") 和 "η" ∈ Ω("M", "E") 我们有通常的交换关系：一般地，两个 "E"-值形式的楔积不是另一个 "E"-值形式，而是一个 ("E""E")-值形式。但是，如果 "E" 是一个（也就是一个代数的