Algebraic closure/Definition

A field extension generated by the roots of all polynomials over the ground field.