Pointwise Multiplication is Associative

Theorem
Let $S$ be a set.