數學中,預序類(preordered class)就是帶有預序

定義

編輯

在處理與類有關的問題時,可以把類 上的類關係定義為 的子類。這樣,可以很方便地借用集合上的關係的語言

預序類就是帶有預序的類。「偏序類」與「全序類」可以用類似的方法定義。這些概念分別是預序集偏序集以及全序集的推廣。

例子

編輯
  •  是一個範疇  的一些態射組成的類,包含單位元並且關於複合運算封閉。在 的對象上定義關係: 若且唯若 中存在從  的態射。則  的對象類上的預序。
  • 所有序數組成的類 關於通常意義下的序數的順序構成全序類。

參考文獻

編輯