Category:Definitions/Pointwise Scalar Multiplication