Additive Identity Definition Math