拡大 "k"/"k" で "k" の各元がすべて"k" 上代数的であるとき、拡大 "k"/"k" は代数的であるといい、"k" を "k" の代数拡大体という。