Zu einer gegebenen Gruppe und einer Menge X: Eine Operation von G auf M ist eine Abbildung(µ):
So dass gilt: [O.1]
[O.2]