\begin{definition}[Definition:Relative Separable Closure]
Let $E/F$ be a field extension.
The '''(relative) separable closure''' of $E$ in $F$ is the intermediate field consisting of all separable elements of $E$ over $F$.
\end{definition}