定義
C を圏とする。
任意の有限図式(>>177)の極限(過去スレ018の839)が存在するとき
C を有限完備(finitely complete)という。