定義
C をアーベル圏とする。
X を C の対象とし、(Y, m) を X の部分対象とする。
m：Y → X が本質的(>>92)なとき Y を X の本質的部分対象と呼ぶ。
m が同型でないとき Y を X の真の本質的部分対象と言う。