Definition (Algebraically closed). Suppose $(K,+,\cdot )$ is a field (in $L_{\text{rings}}$). It is algebraically closed if every non-constant polynomial over $K$ has a root in $K$.