 The number of such maps grows polynomially with formula_1, and the function that counts their number is the "order polynomial" formula_11.Similarly, we can define an order polynomial that counts the number of strictly order-preserving maps formula_12, meaning formula_13 implies formula_14.The number of such maps is the "strict order polynomial" formula_15.