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