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