定義
C と D を前加法圏（代数的整数論019の533）とする。
F：C → D を関手とする。
f：X → Y を C における射とする。
F(f) = 0 なら常に f = 0 となるとき F は零射を反映する(F reflects zero morphism)という。