Definition:Algebraically Closed/Definition 2