命題
C を圏とする。
M を C の射からなる類(過去スレ017の323)とする。
M は次の条件を満たすとする。

(1) M は射の合成に関して閉じている。

(2) M は C の全ての同型射を含む。

X を C の対象とする。
(m, Q) を X の M-単射包絡(>>43)とする。
h：Q → Q’を同型射とする。

このとき (hm, Q’) はM-単射包絡である。

証明
同型射は引き込み(過去スレ018の328)であるから>>25より Q’は M-単射的対象である。
>>37より h は M-本質的(>>33)である。
よって、>>38より hm は M-本質的(>>33)である。
よって、(hm, Q’) はM-単射包絡である。
証明終