\begin{definition}[Definition:Algebraic Closure]
Let $K$ be a field.
An '''algebraic closure''' of $K$ is an algebraically closed algebraic field extension of $K$.
An '''algebraic closure''' of $K$ can be denoted $\overline K$.
\end{definition}