Additive Function on Empty Set is Zero

Theorem
Let $\AA$ be an algebra of sets.

Let $f: \AA \to \overline \R$ be an additive function on $\AA$.

Then $\map f \O = 0$.

Proof
From Properties of Algebras of Sets:


 * $\O \in \AA$

Let $X \in \AA$.

Then: