>>367の修正

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