Solution
= Solution
A <Poisson point process>[Poisson random measure] $N$ of intensity $\mu$ assigns to disjoint measurable sets independent random variables, and
$$
N(A)\sim\operatorname{Poisson}(\mu(A))
$$
whenever $\mu(A)<\infty$, with the usual countable-additivity requirement.