Simple locally finite point measure
= Simple locally finite point measure
{title2=$M=\sum_j\delta_{x_j}$}
A point <measure> is a countable sum of <Dirac measures>. It is simple if all its atoms have mass one, and locally finite if every bounded set has finite mass. Simplicity lets fine enough cells count individual points, whereas occupation indicators would lose multiplicities in a nonsimple <measure>.