Es sei G {\displaystyle {}G} eine Gruppe, die auf einer Menge M {\displaystyle {}M} operiere, und es sei ψ : M → N {\displaystyle {}\psi \colon M\rightarrow N} eine Bijektion.