Sejam M uma k-subvariedade orientada e ω uma k-forma definida em uma vizinhança de M, com suppω∩M compacto. (a) Se suppω∩M⊆γ(V) para uma única parametrização direta, ponha
∫Mω=∫Vγ∗ω
— sendo o lado direito a integral de Lebesgue em V (Capítulo 11) do coeficiente g de γ∗ω=gdu1∧⋯∧duk, que é contínuo de suporte compacto. (b) No caso geral, escolha um número finito de parametrizações diretas γi(Vi) cobrindo o compacto suppω∩M e uma partição da unidade subordinada (χi) (Lema 21.20), e ponha ∫Mω=∑i∫Mχiω, cada termo calculado por (a). Para uma curva (k=1) parametrizada por γ:[a,b]→Rn, escrevemos ∫γω=∫abγ∗ω, sem exigir injetividade.