Let M be an oriented k-submanifold and ω a k-form defined on a neighborhood of M, with suppω∩M compact. (a) If suppω∩M⊆γ(V) for a single direct parametrization, set
∫Mω=∫Vγ∗ω
— the right side being the Lebesgue integral over V (Chapter 11) of the coefficient g of γ∗ω=gdu1∧⋯∧duk, which is continuous with compact support. (b) In general, choose finitely many direct parametrizations γi(Vi) covering the compact suppω∩M and a subordinate partition of unity (χi) (Lemma 21.20), and set ∫Mω=∑i∫Mχiω, each term computed by (a). For a curve (k=1) parametrized by γ:[a,b]→Rn we write ∫γω=∫abγ∗ω, no injectivity required.