 Randomly shifted lattice point process

Let $U$ have the uniform distribution on $[0,1)$ and place a point at every $k+U$, $k\in \mathbb{Z}$. This is a simple point process, locally finite, and a stationary point process: a translation only changes the phase modulo one, preserving its uniform distribution. For every Borel set $A$, the Tonelli theorem givesIts consecutive points are exactly one unit apart, despite having the same intensity measure as a unit-rate Poisson point process. This is the one-dimensional translated-grid construction.^[ref]

Every half-open interval of length one contains exactly one point. For $A=[0,1/2)$ and $B=[1/2,1)$, $\Pi (A)+\Pi (B)=1$, each count has the Bernoulli distribution with parameter $1/2$, andMore generally, an interval of length $L=m+r$, with $m$ a nonnegative integer and $0\le r<1$, contains $m$ or $m+1$ points with probabilities $1-r$ and $r$. Its count variance is $r(1-r)$, while a unit-rate Poisson point process has count variance $L$.