poset
partially ordered set、
半順序集合
集合に
半順序
が入ってる構造:
$ (P,\leq)
数学的構造
前順序
に
反対称律
が加わったモノ
つまり
preorder
の subclass
順序集合
の一種
posetを単に「順序集合」と呼ぶことがある。
やめてほしい。
wint.icon
ref
Partially ordered set - Wikipedia
順序集合 - Wikipedia
cf.
DAG
CPO
dcpo
#order_theory