A very general theorem which allows the number of discrete combinatorial objects of a given type to be enumerated (counted) as a function of their ``order.'' The most common application is in the counting of the number of Graphs of nodes, Trees and Rooted Trees with branches, Groups of order , etc. The theorem is an extension of Burnside's Lemma and is sometimes also called the Pólya-Burnside Lemma.
See also Burnside's Lemma, Graph (Graph Theory), Group, Rooted Tree, Tree
References
Harary, F. ``The Number of Linear, Directed, Rooted, and Connected Graphs.'' Trans. Amer. Math. Soc. 78, 445-463, 1955.
Pólya, G. ``Kombinatorische Anzahlbestimmungen für Gruppen, Graphen, und chemische Verbindungen.'' Acta Math. 68, 145-254, 1937.