Math.Combinatorics.IncidenceAlgebra
data Interval a
intervalIsoClasses
unitIA
basisIA
zetaIA
muIA
invIA
numChainsIA
numMaximalChainsIA
toIsoClasses
toIsoClasses'