\begin{definition}[Definition:Relative Algebraic Closure]
Let $L / K$ be a field extension.
The '''relative algebraic closure''' of $K$ contained in $L$ is the set of all elements of $L$ that are algebraic over $K$.
\end{definition}