模板:二元运算

封闭二元运算
结合律、交换律（交换元）、分配律（左、右）
零元（左、右）、幺元（左、右）、逆元（左、右）
消去律（左、右）、吸收律、幂等律（幂等元）
反交换律、反分配律