Definition:Algebraically Closed/Definition 1