C を圏とする。
C において任意の有限集合を添字集合とする積が存在するとする。
このとき C は有限積を持つと言った(代数的整数論018の911)。

同様に有限余積を持つ圏が定義される(代数的整数論019の51)。