 Finitely generated "D"-modules "M" are endowed with so-called "good" filtrations "F"∗"M", which are ones compatible with "F"∗"A""n"("K"), essentially parallel to the situation of the Artin–Rees lemma.The Hilbert polynomial is defined to be the numerical polynomial that agrees with the function
for large "n".The dimension "d"("M") of an "A""n"("K")-module "M" is defined to be the degree of the Hilbert polynomial.