Definition:Negative of a Ring Element