命題
（X, ≦) を前順序集合（>>608）とする。
>>649より X = (X、≦、p_1、p_2) は痩せたグラフ（>>648）である。
このとき X は痩せた圏（>>675）となる。

証明
自明である。