"algebraically closed semigroup" Deutsche bedeutung