Definition. Dirichlet Product Species [00DP]

Given species define the dirichlet product by

where is the type of cartesian decompositions of .