Math.Combinatorics.Poset

data Poset t

implies

isReflexive

isAntisymmetric

isTransitive

isPoset

poset

intervals

interval

chainN

antichainN

divides

divisors

posetD

powerset

posetB

partitions

isRefinement

posetP

intervalPartitions

isInterval

intervalPartitions2

subspaces

isSubspace

posetL

subposet

dsum

dprod

dual

hasseDigraph

reachabilityPoset

isOrderPreserving

orderIsos01

isOrderIso

orderIsos

orderAuts1

pairs

isLinext

linexts