PosetElements

The elements of a finite poset, in a linear extension — the order every other head here indexes values by.

WikipediaPartially ordered set↗MathWorldPartiallyOrderedSet↗WikidataQ474715↗

PosetElements(poset)the elements, listed so that smaller ones come first

Domain: Incidence algebras

Details

• The linear extension is what makes upper-triangular with ones on the diagonal, hence invertible over the integers — and therefore what makes integral
• `DivisorLattice` elements are integers; `BooleanLattice` elements are subsets; `Chain` elements are
• `AlgebraDimension(IncidenceAlgebra(poset))` counts the intervals: for a chain, for the Boolean lattice

Examples

See also: MoebiusFunction, MoebiusInvert