(P, ≤) where ≤ is reflexive, antisymmetric, transitive. Hasse diagram visualises. Linear extensions count via Stanley-poset polynomial. Backbone of order-theory.
(P, ≤) where ≤ is reflexive, antisymmetric, transitive. Hasse diagram visualises. Linear extensions count via Stanley-poset polynomial. Backbone of order-theory.