定義
C を圏とする。
M を C の射からなる類(過去スレ017の323)とする。
X を C の対象とする。
M-単射的対象(過去スレ019の759) Q と M-本質的(>>33)な射 m：X → Q の対 (m, Q) を
X の M-単射包絡(injective envelope)と呼ぶ。