Ein Polynom P ∈ Q [ X ] {\displaystyle {}P\in \mathbb {Q} [X]} heißt ganzwertig, wenn P ( n ) ∈ Z {\displaystyle {}P(n)\in \mathbb {Z} } für alle n ∈ Z {\displaystyle {}n\in \mathbb {Z} } gilt.