プレテンソル積、適用、積を次の順で定義する。 コンベンショナル等式による定義 微分形式のあいだの等式 積分した形の等式 積分核と測度のプレテンソル積： α*ν ~= α(x; y)μ(;x)dx, dy (α*ν)(;x, y)d(x, y) := α(x; y)μ(;x)dxdy (α*ν)(A, B) := [B| [A| α(x…