Gruppen
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. für alle Elemente a , b , c ∈ G gilt a ∘ ( b ∘ c ) = ( a ∘ b ) ∘ c .
Aus dem Inhalt:
[...] es gilt für alle a , b ∈ G : a ∘ x = b Ist in G nur das Axiom 1 erfüllt, so spricht man von einer Halbgruppe. [...]
https://www.lernhelfer.de/schuelerlexikon/mathematik-abitur/artikel/gruppen