ThmDex – An index of mathematical definitions, results, and conjectures.
F10873
Formulation 0
Let $M = (X, \mathcal{F}, \delta_{x_0})$ be a D5671: Point measure space such that
(i) $f : X \to [-\infty, \infty]$ is an D1921: Absolutely integrable function on $M$
Then \begin{equation} \int_X f \, d \delta_{x_0} = f(x_0) \end{equation}