Property of Additive Identity

Let \(a\) represent any member of \(\mathbb{W}\) or \(\mathbb{Z}\) then:

$$ a + 0 = a $$