記法
A を可換環とする。
I を有限全順序集合とし、I = {i_1、i_2、．．．、i_n} とする。
ここで i_1 ＜ i_2 ＜ ．．．＜ i_n である。
(E_i)、i ∈ I を Mod(A)（過去スレpart2の685）の対象の族とする。
x_i ∈ E_i、i ∈ I とする。
このとき ※[i ∈ I] E_i（>>427）の元 x_(i_1)※．．．※x_(i_n) を ※[i ∈ I] x_i と書く