\begin{definition}[Definition:Separable Closure]
Let $K$ be a field.
A '''separable closure''' of $K$ is a separably closed algebraic field extension of $F$.
It may be defined as the relative separable closure of $F$ in its algebraic closure.
\end{definition}