\begin{definition}[Definition:Normal Extension/Definition 1]
Let $L / K$ be a field extension.
Then $L / K$ is a '''normal extension''' {{iff}}:
: for every irreducible polynomial $f \in K \left[{x}\right]$ with at least one root in $L$, $f$ splits completely in $L$.
\end{definition}