Es sei die Menge aller reellen Funktionen die durch eine Funktionsgleichung vom Typ beschreibbar sind . Unter wollen wir die NAF von Funktionen verstehen. Beweisen Sie: ist eine Gruppe.
Hinweis: Die NAF von Funktionen ist generell assoziativ. Diesbezüglich müssen Sie nichts beweisen.