加法逆元
加法反元素，又称相反数（英语：Additive Inverse）。对于一个任意数n，存在相反数是指其与n的和为零（加法单位元素）。n的加法反元素表示为-n。
在实数范围内，一个数x的相反数-x，被称为其加法反元素；相对地，一个数x的倒数1/x，则被称为其乘法反元素。
一般定义
设「+」为一个交换性的二元运算，即对于所有x,y，x+y=y+x。若该集内存在一个元素0，使得对于所有x，x+0=0+x=x，则此元素是唯一的。如果对于一个给定的x，存在一个x'使得x+x'=x'+x=0，则称x'是x的加法反元素。
特殊情况
定义
证明
反证法：
设有两个相异的加法反元素、
有 的关系。
⇒
⇒
产生矛盾，证讫。
