Definition:Pointwise Multiplication of Mappings

Duplicated.