"k" 上の代数函数体 "k" が与えられると、"k" の上に代数的な "k" の元を考えることができる。