定義
C と D をアーベル圏（代数的整数論019の533）とする。
F：C → D を関手とする。
X → Y → Z を C の射の列とする。
F(X) → F(Y) → F(Z) が完全（代数的整数論019の651）なら常に X → Y → Z が完全であるとする。
このとき F は完全列を反映するという。