Definition:Pointwise Addition of Mappings

Greater generality makes sense. See Definition:Induced_Pointwise_Operation_on_Mappings