\begin{definition}[Definition:Simple Field Extension]
Let $E / F$ be a field extension.
Then $E$ is a '''simple extension over $F$''' {{iff}}:
: $\exists \alpha \in E: E = F \sqbrk \alpha$
where $F \sqbrk \alpha$ is the field extension generated by $\alpha$.
\end{definition}