Definition:Additive Inverse of Number