Void probability functional ($v(A)=\mathbb{P}(M(A)=0)$)

The void probability functional assigns to a measurable set the probability that it contains no atom of a random point measure. For a Poisson random measure of intensity $\mu$, it is $e^{-\mu (A)}$. The exponential void probabilities characterize a Poisson random measure result uses simplicity; doubling every atom of a Poisson measure preserves void probabilities but changes count distributions.

If bounded intervals have void probabilities $e^{-\lambda (I)}$ for Lebesgue measure $\lambda$, a fixed deterministic point $x$ has zero chance of being an atom. Surround it by intervals of lengths tending to zero and use $\mathbb{P}(M(\{x\})>0)\le 1-e^{-\lambda (I)}$. This holds for each fixed endpoint, not simultaneously for all real points of a nonempty point process.