>>129の修正

定義
C を圏 D の部分圏(過去スレ017の361)とする。
任意の D-対象が C-反射(>>135)を持つとき
C を D の反射的部分圏(reflective subcategory)と言う。