Tensor product
に対応することである。二項テンソル積は結合的である： ("M"1 ⊗ "M"2) ⊗ "M"3 は "M"1 ⊗ ("M"2 ⊗ "M"3) に自然に同型である。三重線型写像の普遍性で定義された 3 つの加群のテンソル積はこれらの繰り返しのテンソル積の両方に同型である。