定義
C と D を前加法圏（代数的整数論019の533）とする。
F：C → D を関手とする。
f：X → Y と g：Y → K を gf = 0 となる C における射とする。
F(g)：F(Y) → F(K) が F(f)：F(X) → F(Y) の余核（代数的整数論019の506）なら
常に g：Y → K も f：X → Y の余核であるとき F は余核を反映する(F reflects cokernel)という。