Solution
= Solution
A <Poisson process> of rate $\lambda>0$ is a counting process with $N_0=0$, independent stationary increments, and $N_t-N_s\sim\operatorname{Poisson}(\lambda(t-s))$ for $0\leq s<t$, with the usual right-<continuous> unit-jump sample paths.