記法
A を可換環とする。
I を有限全順序集合とする。
(E_i)、i ∈ I を A-Alg（>>421）の対象の族とする。
I の空でない部分集合 S に対して E_S = ※[i ∈ S] E_i（>>478）と書く。