Definition:Additive Inverse in Ring