Original: There exists an element 0 in R, such that for all elements a in R, the equation 0 + a = a + 0 = a holds.
Simplified: For each a in R, there exists an element -a in R such that a + (-a) = 0, where 0 is the additive identity element.