C を圏とする。
C において任意の有限図式(>>8)の極限(過去スレpart2の824)が存在するとき
C を有限完備(finitely complete)と言った(代数的整数論019の178)。