記法
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)（>>458）を □[i ∈ I] E_i と書く。

各 i ∈ I に対して x_i ∈ E_i とする。
このとき □[i ∈ I] E_iの元 x_(i_1)□．．．□x_(i_n)（>>458） を □[i ∈ I] x_i と書く。