定義
C と D をアーベル圏(>>533)とする。
関手 F：C → D が任意の完全列 0 → X → Y → Z → 0 を
完全列 F(X) → F(Y) → F(Z) に写すとき、F を半完全(semi-exact)と言う。