命題
D を圏 C の反射的部分圏(過去スレ018の136)とする。
F：D → C を包含関手とする。
このとき F は極限を保存(過去スレ019の303)する。

証明
R：C → D を反射関手(過去スレ018の141)とする。
過去スレ019の370より、(R, F) は随伴状況(過去スレ019の362)である。
よって、過去スレ019の464より、F は極限を保存する。
証明終