Eine nichtleere Menge G von Elementen a, b, c, ... heißt Gruppe, wenn in ihr eine Operation ∘ erklärt ist, die folgenden Axiomen genügt:Die Operation ∘ ist assoziativ,d.h.
Eine Funktion heißt umkehrbar eindeutige (eineindeutige) Funktion, wenn nicht nur jedem Argument eindeutig ein Funktionswert zugeordnet ist, sondern auch umgekehrt zu jedem Funktionswert genau ein Argument gehört.
