Definition:Relative Algebraic Closure

Definition
Let $L/K$ be a field extension.

The maximal algebraic extension of $K$ contained in $L$ is the set of all elements of $L$ that are algebraic over $K$.