More generally, the theorem applies to conservative systems, and not just to measure-preserving dynamical systems. Roughly speaking, one can say that conservative systems are precisely those to which the recurrence theorem applies.