定義
C を圏とする。
C においては任意の小さい集合(過去スレ017の321) I を添字集合とする積が存在するとする。
このとき C は積をもつと言う。