Pointwise Addition is Commutative

Theorem
Let $S$ be a set.