Let be a Combinatorial Structure. For each define an equivalence relation on by:

for some bijective . This defines a new structure:

with weight

Note that the weight satisfies

so this is well defined.

We shall write . Each unlabelled structure has an associated Ordinary Generating Function