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