##### 单位元 - 单位元 - **单位元**指集合存在一个特殊元素的[[运算律]], 保持[[运算]]不改变值. 设 $e \in S$ 使得对于任意 $a\in S$, 有 $a \ast e = e \ast a = a$, 则称 $e$ 是运算 $\ast$ 的单位元 - $0$ 是加法单位元, 即 $a+0=a$ - $1$ 是乘法单位元, 即 $a \times 1 = a$