generated at
順序集合
反マトロイド: 半順序集合よりも一般の順序付けの族を許すような、集合上の順序付けの一般化
(束論)
準順序(semiorder)
狭義弱順序: "a < b または b < a の何れかが成り立つ" という関係が推移的となるような狭義半順序 "<"