Definition
Complex numbers that are zeros
of nonzero polynomials in Q[X] are called
algebraic.
If x is algebraic,
then Q(x) has finite dimension as a vector space over Q,
and the converse is also true.
Fact
The set of all algebraic numbers in C is a subfield of C.