Definition:Algebraic Closure

Definition
Let $K$ be a field, then by the existence of algebraic closures there is some algebraically closed field $\overline{K}$ containing $K$ such that no proper subfield of $\overline{K}$ is algebraically closed. By the uniqueness of algebraic closure, all such fields are isomorphic and consequently we can refer to the algebraic closure of $K$.