# Definition:Field Extension/Complex

Let $\left({F, +, \times}\right)$ be a subfield of $\left({\Bbb C, +, \times}\right)$, the field of complex numbers.
Let $X_1, X_2, \ldots, X_n$ be complex numbers, in or not in $F$.
Then $F \left({X_1, X_2, \ldots, X_n}\right)$ is the smallest field extension over $F$ containing $X_1, X_2, \ldots, X_n$.