Definition:Pointwise Sum