Description: Base set of the group of Dirichlet characters. (Contributed by Mario Carneiro, 18-Apr-2016)