\begin{definition}[Definition:Algebraic Number over Field]
Let $F$ be a field.
Let $z$ be a complex number.
$z$ is '''algebraic over $F$''' {{iff}} $z$ is a root of a polynomial with coefficients in $F$.
\end{definition}