Es sei M {\displaystyle {}M} eine Menge, auf der eine Gruppe G {\displaystyle {}G} operiere. Eine Teilmenge T ⊆ M {\displaystyle {}T\subseteq M} heißt G {\displaystyle {}G} -invariant, wenn zu jedem x ∈ T {\displaystyle {}x\in T} und jedem σ ∈ G {\displaystyle {}\sigma \in G} auch σ x ∈ T {\displaystyle {}\sigma x\in T} gilt.
