What is the definition of an algebraic closure of a field <i>F</I>?