Изменения

Пусть нам дано множество всех представлений комбинаторного объекта, тогда для любого элемента <tex>a</tex> из этого множества можно выделить подмножество(возможно, пустое), такое что все элементы этого подмножества будут эквивалентны <tex>a</tex>. Следовательно, множество всех представлений разбивается на классы эквивалентности. Лемма Бёрнсайда позволяет посчитать в некотором множестве, основываясь на некоторой его внутренней симметрии, количество классов эквивалентности. Док-во этой леммы, приведенное ниже, опирается на следующие определения: