Definition:Setwise Addition