Let be an extension field of and let .
If there is a nonzero polynomial such that (in ) we say that is algebraic over .
For example, is algebraic over since there is a nonzero polynomial with rational coefficients, namely , such that .