Es sei U ⊆ R n {\displaystyle {}U\subseteq \mathbb {R} ^{n}} offen und es seien ω ∈ E 1 k ( U ) {\displaystyle {}\omega \in {\mathcal {E}}_{1}^{k}(U)} und τ ∈ E 1 ℓ ( U ) {\displaystyle {}\tau \in {\mathcal {E}}_{1}^{\ell }(U)} differenzierbare Differentialformen auf U {\displaystyle {}U} .
Dann gilt die Produktregel