>>861 の ΛΔ: ΛM → (ΛM)(x)'(ΛM) を具体的に求めよう。

x ∈ M のとき ΛΔ(x) = x(x)1 + 1(x)x である。
よって、x_1, ... , x_n が M の元であるとき、

ΛΔ(x_1Λ...Λx_n) =
Σ(-1)^μ (x_(i_i)Λ...Λx_(i_p)) (x) (x_(j_i)Λ...Λx_(j_(n-p)))

となる。ここで μ は i_k > j_l となるペアの個数である。