Une technique de comptage qui calcule le nombre d'orbites distinctes (configurations non équivalentes) d'un ensemble fini sous l'action d'un groupe fini en faisant la moyenne du nombre de points fixes des éléments du groupe.
Principe de comptage pour une action d'un groupe fini sur un ensemble fini qui calcule le nombre d'orbites distinctes comme la moyenne, prise sur les éléments du groupe, du nombre de points fixes de chaque élément.
Un lemme de dénombrement qui calcule le nombre d'orbites distinctes d'un ensemble fini sous l'action d'un groupe fini en moyennant le nombre de points fixes des éléments du groupe.