Description: The algebraic numbers are a subset of the complex numbers. (Contributed by Mario Carneiro, 23-Jul-2014)