\begin{definition}[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$.
Category:Definitions/Field Extensions
\end{definition}