命題
S が分離対象(過去スレ018の212)であるためには任意の対象 X に対して
(Hom(S, X), X) が全吸い込み(>>19)であることが必要十分である。

証明
過去スレ018の213の(2)より明らかである。