\begin{definition}[Definition:Separable Degree]
Let $E / F$ be a field extension.
Let $S \subseteq E$ be the separable closure of $F$ in $E$.
The '''separable degree''' $\index E F_{\operatorname {sep} }$ of $E / F$ is the degree $\index S F$.
\end{definition}