\begin{definition}[Definition:Algebraic Element of Field Extension/Definition 2]
Let $E / F$ be a field extension.
Let $\alpha \in E$.
$\alpha$ is '''algebraic over $F$''' {{iff}} the evaluation homomorphism $F \sqbrk X \to K$ at $\alpha$ is not injective.
\end{definition}