Es sei R {\displaystyle {}R} ein kommutativer Ring, M {\displaystyle {}M} und N {\displaystyle {}N} seien R {\displaystyle {}R} -Moduln, I {\displaystyle {}I} eine endliche Indexmenge, Φ : M I → N {\displaystyle {}\Phi \colon M^{I}\rightarrow N} sei multilinear. Weiter sei ( x j ) j ∈ J ∈ M {\displaystyle {}(x_{j})_{j\in J}\in M} .
Dann gilt für jede Linearkombination ∑ j ∈ J a j , i ⋅ x j , i ∈ I {\displaystyle {}\sum _{j\in J}a_{j,i}\cdot x_{j},i\in I} mit a j , i ∈ A {\displaystyle {}a_{j,i}\in A} :