Let and be Combinatorial Structures.
We define their union (or sum) as:

with weight

Lemma

Exponential Generating Functions satisfy

Similarly, Ordinary Generating Functions statisfy: