Pointwise Addition is Associative

Theorem
Let $S$ be a set.