Definition:Minuend