\begin{definition}[Definition:Null Measure]
Let $\struct {X, \Sigma}$ be a measurable space.
Then the '''null measure''' is the measure defined by:
:$\mu: \Sigma \to \overline \R: \map \mu E := 0$
where $\overline \R$ denotes the extended real numbers.
\end{definition}