Measure of Empty Set is Zero

Theorem
Let $$(X, \Sigma, \mu)\ $$ be a measure space. Then $$\mu(\varnothing) = 0\ $$.

Proof
The empty set is disjoint with itself, that is: $$\varnothing\cap\varnothing = \varnothing$$.

Hence by additivity, $$\mu(\varnothing) = \mu(\varnothing \cup \varnothing) = \mu(\varnothing) + \mu(\varnothing) = 2\mu(\varnothing)\ $$, which implies $$\mu(\varnothing) = 0\ $$.