\begin{definition}[Definition:Root of Unity/Complex]
Let $n \in \Z_{>0}$ be a (strictly) positive integer.
The '''complex $n$th roots of unity''' are the elements of the set:
:$U_n = \set {z \in \C: z^n = 1}$
\end{definition}