Let $M = (X, \mathcal{F}, \delta_{x_0})$ be a D5671: Point measure space such that
| (i) | $\phi : X \to [0, \infty]$ is a D2956: Measurable simple complex function on $M$ |
Then
\begin{equation}
\int_X \phi \, d \delta_{x_0}
= \phi(x_0)
\end{equation}