Es liege eine Gruppenoperation einer Gruppe ${\displaystyle {}G}$ auf einer Menge ${\displaystyle {}M}$ vor. Die Äquivalenzklassen auf ${\displaystyle {}M}$ zur ${\displaystyle {}G}$-Äquivalenz nennt man die Bahnen der Operation.