A field extension is a field containing a given field as a subfield.
The notation means that is an extension of the field .
is sometimes called an overfield of the field .
An element of the field is called algebraic over if it satisfies some algebraic equation with coefficients in , and transcendental otherwise.