\begin{definition}[Definition:Separable Element]
Let $L/K$ be a field extension.
Let $\alpha\in L$.
Then $\alpha$ is '''separable over $K$''' {{iff}} its minimal polynomial over $K$ is separable.
\end{definition}