Definition 9.8.1. Consider a field extension $F/E$. An element $\alpha \in F$ is said to be algebraic over $E$ if $\alpha$ is the root of some nonzero polynomial with coefficients in $E$. If all elements of $F$ are algebraic then $F$ is said to be an algebraic extension of $E$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).