Algebraic closure

An algebraic closure of a field $K$ is an algebraic extension $\overline{K}/K$ for which $\overline{K}$ is algebraically closed.