In this paper we describe a novel a procedure to build a linear order from an arbitrary poset which (i) preserves the original ordering and (ii) allows to extend monotonic and antitonic mappings defined over the original poset to monotonic and antitonic mappings over the new linear poset.

A poset P is called k-Eulerian if every interval of rank k is Eulerian. The class of k-Eulerian posets interpolates between graded posets and Eulerian posets. It is a straightforward observation that a 2k-Eulerian poset is also (2k+1)-Eulerian. We prove that the ab-index of a (2k+1)Eulerian poset can be expressed in terms of c = a + b, d = ab + ba and e2k+1 = (a − b)2k+1. The proof relies upon ...

We study different problems of enumeration of standard paths in the poset of compositions of integers. We show that several problems similar to those considered in the poset of partitions of integers become simpler in this context. We give explicit formulas for generating functions of standard paths in this poset and interesting subposets, and a closed formula for the number of standard paths e...

The standard poset transit function of a poset P is a function TP that assigns to a pair of comparable elements the interval between them, while TP (x, y) = {x, y} for a pair x, y of incomparable elements. Posets in which the standard poset transit function coincides with the shortest-path transit function of its cover-incomparability graph are characterized in three ways, in particular with fo...

Term occurrences of any clause C are determined by their positions. The set of all term partitions defined on subsets of term occurrences of C form a partially ordered set. This poset is isomorphic to the set of all generalizations of C. The structure of this poset can be inferred from the term occurrences in C alone. We can apply these constructions in this poset in machine learning.

We consider poset models of topological spaces and show that every T1-space has an bounded complete algebraic poset model, thus give a positive answer to a question asked in a recent paper by Waszkiewicz. It is also proved that every T1-space is homeomorphic to the maximal point space of a d-space. In the classic general topology, people are mainly interested in the spaces which satisfy at leas...

A classic problem connecting algebraic and geometric combinatorics is the realization problem: given a poset, determine whether there exists polytope whose face lattice poset. In 1990s, Kapranov defined poset as hybrid between of permutohedron that an associahedron, he asked this realizable. Shortly after his question was posed, Reiner Ziegler provided realization. Based on our previous work ne...

In this paper X denotes a set. Let L be a lattice. Note that Poset(L) has l.u.b.’s and g.l.b.’s. Let L be an upper-bounded lattice. One can verify that Poset(L) is upper-bounded. Let L be a lower-bounded lattice. One can verify that Poset(L) is lower-bounded. Let L be a complete lattice. Note that Poset(L) is complete. Let X be a set. Then X is an order in X . Let X be a set. The functor 〈X ,⊆〉...

We characterize the finite distributive lattices which admit a complete valuation, that is bijective over a set of consecutive natural numbers, with the additional conditions of completeness (Definition 2.3). We prove that such lattices are downset lattices of finite posets of dimension at most two, and determine a realizer through a recursive relation between weights on the poset associated to...