[00DR]

For and , the transported Dirichlet product is

where denotes the product of the underlying finite sets.

• Aut(A) xx Aut(B) acting on F(a,A) xx G(b,B).
• In the case where A = [a] and B = [b], we get an -set
• given an equivalence we can view S_a xx S_b as subgroup of S_n.