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