Definition:Algebraic Number over Field

Definition
Let $F$ be a field.

Let $z$ be a complex number.

$z$ is algebraic over $F$ $z$ is a root of a polynomial with coefficients in $F$.

Also see

 * Definition:Transcendental Number over Field