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.
