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