Unlabelled Structure

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