An extension F of a field K is said to be algebraic if every element of F is algebraic over K (i.e., is the root of a nonzero polynomial with coefficients in K).

Galois extension field