命題
C を小さい圏(過去スレ017の322)とする。
C においては任意の小さい集合(過去スレ017の321) I を添字集合とする余積(>>35)が
存在するとする。
このとき C は痩せた圏(過去スレ018の33)である。
従って前順序集合と見なされる。

証明
過去スレ018の909と双対原理(過去スレ018の159)。