Poincare recurrence theorem
= Poincaré recurrence theorem
{c}
{wiki}
In a finite <measure-preserving system>, almost every point of every measurable set $A$ returns to $A$ infinitely often. The points of $A$ that never return form a wandering set: all its inverse images are pairwise disjoint and have equal measure, so that set must be null.