Si un grupoG actúa sobre un conjunto finitoC, sea ~ la relación de equivalencia inducida por esta acción. (Como antes, seC denotará la acción deπ∈G onπ∗.) ...Si un grupoG actúa sobre un conjunto finitoC, sea ~ la relación de equivalencia inducida por esta acción. (Como antes, seC denotará la acción deπ∈G onπ∗.) Denotar la clase de equivalencia que contieneC∈C porC ⟩. Paraπ∈G, vamosfixC(π)={C∈C:π∗(C)=C}, el conjunto de colorantes fijados porπ.