Additive Identity Property

The Identity property for Addition specifically.

$$\exists I\text{ s.t. }\forall A\in S,IA=AI=A$$ $$\text{Let }I=0\forall A\in S,0+A=A+0=A$$