定義
M を向き付けられた n 次元多様体(過去スレ014の734)とする。
(U, ψ) を M の正の局所座標系(過去スレ014の736)とする。
ω を M 上の n 次の連続な微分形式でコンパクトな台(>>175)をもち、
Supp(ω) ⊂ U とする。

ω の (U, ψ) における積分 ∫[ψ] ω を
∫[ψ] ω = ∫[ψ(U)] (ψ^(-1))^*(ω|U) (>>176)で定義する。