順序集合
ordered set
反マトロイド
: 半順序集合よりも一般の順序付けの族を許すような、集合上の順序付けの一般化
因果集合
比較可能グラフ
有向集合
次数付き順序集合
半束
束
(束論)
順序群
準順序
(semiorder)
直並列半順序
狭義弱順序
: "a < b または b < a の何れかが成り立つ" という関係が推移的となるような狭義半順序 "<"
完備半順序
(cpo)
ツォルンの補題
コンパクト要素
順序集合 - Wikipedia