Let and be Combinatorial Structures. We define their union (or sum) as: with weight Lemma Exponential Generating Functions satisfy Similarly, Ordinary Generating Functions statisfy: