Abelian group
可以验证这两个运算构成了（真类上的）阿贝尔群。