記法
I を添字集合とする集合の族 (X_i)、i ∈ I を (X_i)_I とも書く。
直積 ΠX_i の元 (x_i)、i ∈ I を (x_i)_I とも書く。
各 X_i がある圏の対象であるときも同じ記法を使う。