Math.Combinatorics.Poset
data Poset t
chainN
antichainN
posetD
posetB
posetP
posetL
subposet
dsum
dprod
dual
hasseDigraph
reachabilityPoset
isOrderPreserving
isOrderIso