Estudo das propriedades de grupos de permutações com número finito de órbitas em potências finitas, com foco em exemplos e classes fundamentais.

Relação entre teoria dos grupos, combinatória e teoria dos modelos é explorada através de conceitos como oligomorfia e ações de grupos; há análise de consequências para estruturas infinitas simétricas.

Inclui resultados técnicos e construções que apoiam investigações em automorfismos de estruturas e contagem de órbitas, útil para trabalhos teóricos em matemática pura.