Complex Roots of Unity/Examples/Square Roots

Example of Complex Roots of Unity
The complex square roots of unity are the elements of the set:
 * $U_2 = \set {z \in \C: z^2 = 1}$

They are: