algebraic number field,
n.
a subfield of the complex numbers that arises as a finite degree
algebraic extension
of the rational field.
