If E is an extension of the field F, what is the algebraic closure of F in E?