 Solution

A Non-homogeneous Poisson point process with intensity function $\lambda$ is a random counting measure $N$ such that, for every finite family of pairwise disjoint bounded Borel sets $A_1,\dots ,A_k$, the counts $N(A_1),\dots ,N(A_k)$ are independent random variables andThe assumed local integrability makes each Poisson parameter finite. This count law and independence characterize the process.