Halbgruppe

Halbgruppen sind Gruppen die dazu

• abgeschlossen
  $\forall a,b\in G\exists c\in Ga\ast b=c$

• und assoziativ sind

  Assoziativgesetz

  $(a\ast b)\ast c=a\ast (b\ast c)$

  Link to original