Суть в алгоритмизации определения количество классов эквивалентности в некотором множестве, основываясь на некоторой его внутренней симметрии.