Algebraically closed field

An **algebraically closed field** is a field \( F \) in which every non-constant polynomial equation with coefficients in \( F \) has at least one root in \( F \).