定義
C をアーベル圏とする。
M を C の単射全体からなる類(過去スレ017の323)とする。
M-単射的対象(過去スレ019の759)を単射的対象と呼ぶ。

C が十分多くの M-単射的対象を持つとき C は十分多くの単射的対象を持つと言う。

C の射は M-本質的(>>33)なとき本質的と呼ばれる。

X を C の対象とする。
単射的対象 Q と本質的な射 m：X → Q の対 (m, Q) を
X の単射包絡(injective envelope)と呼ぶ。