A counting technique that computes the number of distinct orbits (inequivalent configurations) of a finite set under the action of a finite group by averaging the number of fixed points of group elements.
A counting principle for a finite group action on a finite set that computes the number of distinct orbits as the average, over group elements, of the number of points fixed by each element.
A counting lemma that computes the number of distinct orbits of a finite set under the action of a finite group by averaging the number of fixed points of group elements.