命題
C を痩せた圏（>>675）とする。
X、Y ∈ Ob(C) に対して Hom(X, Y) が空集合でないとき X ≦ Y と定義する。
このとき Ob(C) は前順序集合（>>608）となる。

証明
自明である。