 Both formula_16 and formula_17 have degree formula_3.The order-preserving maps generalize the linear extensions of formula_2, the order-preserving bijections formula_20.In fact, the leading coefficient of formula_16 and formula_17 is the number of linear extensions divided by formula_23.