加法逆元

设“+”为一个交换性的二元运算，即对于所有x，y，x+y=y+x。若该集内存在一个元素0，使得对于所有x，x+0=0+x=x，则此元素是唯一的。如果对于一个给定的x，存在一个x'使得x+x'=x'+x=0，则称x'是x的加法逆元。对于一个数：n，n和其加法逆元(或称相反数)之和是加法单位（即零）。