定義
F：C → D を関手とする。
F が C の任意の対象の任意の有限個の部分対象の族の交わりを保存(>>284)するとき
F は有限交わりを保存すると言う。