§2运算及其性质 《定义》:设*是集合S上的二元运算,对任一Xy∈S有 Xy∈S则称*运算在S上是封闭的 《定义》:设*是集合S上的二元运算,对任一x,y∈S有 x*y=y*x,则称*运算在S上是可交换的(或者说*在S 上满足交换律)§2运算及其性质 《定义》:设*是集合S上的二元运算,对任一x,yS有 xy∈S则称运算在S上是封闭的。 《定义》:设*是集合S上的二元运算,对任一x,yS有 xy=y  x,则称运算在S上是可交换的（或者说在S 上满足交换律）