"additive semigroup" Deutsche bedeutung