9.1 二元运算及其性质

检验是否是二元运算的方法：
<1>S中任意两个元素都可以进行这种运算，且运算结果是唯一的。
<2>S中任意两个元素运算的结果都属于S

由缓至急，循循而进。先来看一元运算实例。

二元运算的算律：

幂等律定义如下：

实例：

-------------------------------------重点来了---------------------------------------------

实例：

唯一性定理：

零元亦是如此。

逆元亦然。