离散数学第2版教学课件-二元运算的性质.pdfVIP

7.1 二元运算及其性质 二元运算的性质 定义7.3 设 为S上的二元运算,如果对于任意的x, y∈S, 有x y=y x, 则称运算 º在S º º º 上满足交换律。 定义7.4 设 为S上的二元运算,如果对于任意的x, y, z∈S有(x y) z = x (y z), º º º º º 则称运算在S上满足结合律。 º 定义7.5 设 为S上的二元运算,如果对于任意的x∈S有x x=x, 则称运算在S上满足幂等律。 º º º 如果S中某些x满足x x=x, 则称x为运算的幂等元。 º º 实例：交换、结合、幂等律 Z, Q, R分别为整数、有理数、实数集