Definition:Summand (Logic)