記法
A を可換環とする。
I を有限全順序集合とし、I = {i_1、i_2、．．．、i_n} とする。
ここで i_1 ＜ i_2 ＜ ．．．＜ i_n である。
(E_α)、α ∈ I を A-Alg（>>421）の対象の族とする。
このとき E_(i_1)※．．．※E_(i_n)（>>418）を ※[α ∈ I] E_α と書く。

x_α ∈ E_α、α ∈ I とする。
このとき ※[α ∈ I] E_α の元 x_(i_1)※．．．※x_(i_n) を ※[α ∈ I] x_α と書く。