To avoid creating new binomial posets by taking two of them with the same factorial function (i.e., number of maximal chains in an $n$-interval) and identifying their least elements, we should add the extra condition that there exists a maximal chain $\hat{0}< x _0< x _1< \cdots$ such that every element $x$ satisfies $x\leq x_n$ for some $n$. Backelin has constructed uncountably nonisomorphic such binomial posets, all with the same factorial function. Most of these have the property that they contain two nonisomorphic intervals of the same length. See http://front.math.ucdavis.edu/0508.5397.
Richard Stanley
- 50.8k
- 14
- 155
- 279