Definition:Negative Integer