\begin{definition}[Definition:Algebraic Number]
An algebraic number is an algebraic element of the field extension $\C / \Q$.
That is, it is a complex number that is a root of a polynomial with rational coefficients.
The set of algebraic number can often be seen denoted as $\mathbb A$.
\end{definition}