given two combinatorial families, formula_6 and formula_12 with generating functions "f"("x") and "g"("x") respectively, the disjoint union of the two families (formula_13) has generating function "f"("x") + "g"("x").