"geschlossene Halbgruppe" Englisch