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