"compact semigroup" Deutsche bedeutung