半順序集合
poset
partially ordered set
前順序集合
から同型を取り除いたもの
$ a\neq b
について、
$ a
から
$ b
への射
$ a\leq b
が存在するならば、逆は存在しない