定義
A を可換環とする。
E_1、．．．、E_n を Mod(A)（過去スレpart2の685）の対象とする。
直積集合 E = (E_1)×．．．×(E_n) に対して自由加群 A^E (part1の709)を考える。
A^E の部分群で次の形の元全体で生成されるものを H とする。

任意の x_i ∈ E_i、y_i ∈ E_i、a ∈ A に対して、

(ⅰ) (x_1、...、x_i + y_i、...、x_n) - (x_1、...、x_i、...、x_n) - (x_1、...、y_i、...、x_n)
(ⅱ) (x_1、...、ax_i、...、x_n) - a(x_1、...、x_i、...、x_n)

(A^E)/H を ((E_1)※．．．※(E_n))_A、(E_1)※．．．※(E_n)、(※E_i)_A、※E_i などと書き
E_1、．．．、E_n の A 上のテンソル積と言う。

(x_1、．．．、x_n) ∈ E のとき (x_1、．．．、x_n) ∈ A^E の mod H の像を x_1※．．．※x_n と書く。