假設「+」係一個交換性嘅二元運算，即係對於所有x，y，x+y=y+x。若果個集存在一個元素0，使到對於所有x，x+0=0+x=x，即係呢個元素係唯一嘅。如果對於一個假定嘅x，存在一個x'使得x+x'=x'+x=0，則稱x'係x嘅加法逆元。