Axiomatische Definition einer Gruppe (Schließung, Assoziativgesetz usw.)