"commutative semigroup" Deutsche bedeutung