Definition:Pointwise Multiplication on Ring of Mappings