定義
C を圏とする。
C において任意の差余核(過去スレ017の850)が存在するとき C は差余核をもつという。