Definition:Pointwise Addition on Ring of Mappings