Additive Function is Strongly Additive/Proof 2

Proof
Recall that $\sqcup$ denotes the disjoint union.

First, since:

we have:
 * $\paren 1 : \quad \map f {A \cup B} = \map f A + \map f {B \setminus A}$

Secondly, since

we have:
 * $\paren 2 : \quad \map f B = \map f {B \setminus A} + \map f {A \cap B}$

On the other hand:

so that:
 * $\map f {A \cup B} = \map f {A \cap B} + \map f {\paren {A \cup B} \setminus \paren {A \cap B} }$

In particular, we have neither:
 * $\map f {A \cup B} = + \infty \land \map f {A \cap B} = - \infty$

nor:
 * $\map f {A \cup B} = - \infty \land \map f {A \cap B} = + \infty$

Thus the sum in $\overline {\R}$:
 * $\map f {A \cup B} + \map f {A \cap B}$

is well-defined.

Finally: