Es sei M {\displaystyle {}M} eine Menge, auf der eine Gruppe G {\displaystyle {}G} operiere und es sei T ⊆ M {\displaystyle {}T\subseteq M} eine Teilmenge. Zeige, dass T {\displaystyle {}T} genau dann eine G {\displaystyle {}G} -invariante Teilmenge ist, wenn T {\displaystyle {}T} eine Vereinigung von Bahnen ist.
