Definition:Pointwise Multiplication of Mappings