定義
C を前加法圏(>>504)とする。
f：X → Y と g：X → Y を C における射とする。

このとき、Ker(f, g) = Ker(f - g) である。

証明
h：Z → X に対して fh = gh は (f - g)h = 0 と同値なこと明らかである。