Measure of Empty Set is Zero

Theorem
Let $\left({X, \Sigma, \mu}\right)$ be a measure space.

Then $\mu \left({\varnothing}\right) = 0$.

That is, $\varnothing$ is a $\mu$-null set.

Proof
By definition of measure, $\mu$ has the following properties:

$(1)$: For every $S \in \Sigma$:
 * $\mu \left({S}\right) \ge 0$

$(2)$: For every sequence of pairwise disjoint sets $\left \langle {S_n}\right \rangle \subseteq \Sigma$:
 * $\displaystyle \mu \left({\bigcup_{n \mathop = 1}^{\infty} S_n}\right) = \sum_{n \mathop = 1}^{\infty} \mu \left({S_n}\right)$

(that is, $\mu$ is a countably additive function).

$(3)$: There exists at least one $E \in \Sigma$ such that $\mu \left({E}\right)$ is finite.

So, suppose that $E \in \Sigma$ such that $\mu \left({E}\right)$ is finite.

Let $\mu \left({E}\right) = x$.

Consider the sequence $\left \langle {S_n}\right \rangle_{n \in \N} \subseteq \Sigma$ defined as:
 * $S_n = \begin{cases}

E & : n = 1 \\ \varnothing & : n > 1 \end{cases}$

Then $\displaystyle \bigcup_{n \mathop = 1}^\infty S_n = E$.

Hence:

It follows directly that $\mu \left({\varnothing}\right) = 0$.