記法
A を可換環とする。
I を全順序集合とする。
(E_i)、i ∈ I を A-Alg（>>421）の対象の族とする。
E = ※[i ∈ I] E_i（>>486）とする。
Φ を I の空でない有限部分集合全体とする。
J ∈ Φ のとき φ_J：E_J → E を標準射とする。
i ∈ I のとき φ_{i} を φ_i と書く。