离散数学-第7章 习题解答

习题 7.11. 设Z是整数集合，Z上的二元运算*定义为：a*b=ab+2(a+b+1)。证明代数系统<Z,*>是半群。证明：由于任意两个整数经加、减、乘运算后，其结果仍然是整数。所以运算*对于是封闭