用語
C を前加法圏（過去スレpart2の589）とする。
I を小さい集合とする。
(X_i), i ∈ I を I を添字集合とする C の対象の族とする。
Z = ΠX_i を積（代数的整数論017の747）とする。
このとき Z を (X_i), i ∈ I の直積とも言う。