Eine Funktion f : Z → Z {\displaystyle {}f\colon \mathbb {Z} \rightarrow \mathbb {Z} } heißt von polynomialen Typ, wenn es ein Polynom P ∈ Q [ X ] {\displaystyle {}P\in \mathbb {Q} [X]} und ein n 0 ∈ N {\displaystyle {}n_{0}\in \mathbb {N} } mit f ( n ) = P ( n ) {\displaystyle {}f(n)=P(n)} für alle n ≥ n 0 {\displaystyle {}n\geq n_{0}} gibt.