A rate-lambda Poisson process counts independent arrivals with Poisson-distributed increments. Keeping the exact identity in view prevents the geometric or probabilistic intuition from drifting.
The mathematical object
Continuous-time processes are described by finite-dimensional distributions plus path regularity. A Poisson process \(N_t\) has independent increments, while Brownian motion \(B_t\) has Gaussian increments.
I read the first line as input and the second as output. The symbols \(\forall\) and \(\exists\) are not interchangeable, and neither may be upgraded silently to \(\Longleftrightarrow\).
One explicit computation
This is the algebraic core of the note. Once this line is correct, the surrounding interpretation has something solid to refer to.
Why the identity matters
The abstraction earns its keep by explaining why the same computation reappears. The notation compresses repeated reasoning without erasing the hypothesis that licenses it.
Where it can fail
Matching means and variances does not identify a distribution. Independence, increment laws, and sample-path properties are separate ingredients.
With the dependency made explicit, the same pattern can be recognised safely in nearby problems. A changed hypothesis should now be easy to spot.