Definition:Algebraic closure