Dirichlet Series [00F1]

For a dirichlet species define

where is the dirichlet type of , and is the groupoid cardinality of the n-th component of the dirichlet type. We call the dirichlet series of , and the -th summand.