記法
C を圏とする。
C の対象の族 (X_i)_I に対してその積(過去スレ018の858) Π(X_i)_I を
Π[i ∈ I]X_i とも書く。

同様に余積(>>35) Σ(X_i)_I を Σ[i ∈ I]X_i とも書く。