\begin{definition}[Definition:Algebraically Closed Field/Definition 2]
Let $K$ be a field.
$K$ is '''algebraically closed''' {{iff}}:
:Every irreducible polynomial $f$ over $K$ has degree $1$.
\end{definition}