\begin{definition}[Definition:Algebraically Closed Field/Definition 3]
Let $K$ be a field.
$K$ is '''algebraically closed''' {{iff}}:
:Every polynomial $f$ over $K$ of strictly positive degree has a root in $K$.
\end{definition}