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