このことを詳しく述べるために、"f" ＝ "gf"("q")を "q" 個の元を持つ有限体とし、ある固定された "q" に対し、"n" をモニックで既約な "f" 上の多項式で、次数が "n" となるものの数を表すとする。