定義
F：C → D を関手とする。
F がすべての小さいグラフ(過去スレ017の325) I に対して
I 型の極限を保存する(>>256)とき、F は小さい極限を保存すると言う。