Pointwise addition
THEOREM
Pointwise addition is commutative.
$$\forall x \in S : (f + g)(x) = (g + f)(x)$$
Proof available
THEOREM
Pointwise addition is associative.
$$\forall x \in S : (f + g + h)(x) = (f + (g + h))(x)$$
Proof available
See also