Poisson process (counting)

N(t) with rate lambda has independent stationary increments and N(t) - N(s) ~ Poisson(lambda(t-s)); inter-arrival times exponential; foundational counting process.