“…H A is spanned by δ-functions δ M ∈ H A supported on individual isomorphism classes, and so it is useful to make explicit the multiplication of two such elements. We have The following theorem is proved in [29]: 0.2. (H A , , ∆) is a graded, connected, co-commutative bialgebra.…”