加法逆元是指在交換性的二元運算中，對於任意一個整數 \( x \)，存在另外一個數 \( y \)，使得 \( x + y = 0 \)。在這種情況下，我們稱 \( x \) 和 \( y \) 互為加法逆元。如果對於一個給定的 \( x \)，存在一個 \( x' \)，使得 \( x + x' = x' + x = 0 \)，則稱 \( x' \) 是 \( x \) 的加法逆元。對於整數 \( n \)，其加法逆元表示為 \( -n \)，即 \( n + (-n) = 0 \)。如果運算符 \( + \) 滿足結合律 \( (x + y) + z = x + (y + z) \)，則加法逆元是唯一的。