自己和自己运算结果都是自己

满足结合律的运算都是可以定义幂的

重复运算结果不变,所以叫做幂相等

交运算并运算 满足