Poincare recurrence theorem

A finite measure-preserving dynamical system returns almost every point arbitrarily close to its start infinitely often.