Additive Inverse Property Definition