Category:Pointwise Multiplication is Associative