Halbgruppen
Definition der Halbgruppe