Pointwise Multiplication is Commutative

Theorem
Let $S$ be a set.