What is the definition of an algebraically closed field?