"closed semigroup" Deutsche bedeutung