Definition:Algebraic Element of Field Extension/Definition 2

Definition
Let $E / F$ be a field extension.

Let $\alpha \in E$.

$\alpha$ is algebraic over $F$ the evaluation homomorphism $F \sqbrk X \to K$ at $\alpha$ is not injective.

Also see

 * Equivalence of Definitions of Algebraic Element of Field Extension