Let $(X,\Sigma,m)$ be a finite measure space and let $f:X \to X$ be a measure-preserving map. If $E \in \Sigma$, then almost every point in $E$ returns to $E$; i.e., $m ({x \in E: \exists N: \forall n>N \quad f^n(x) \not \in E })=0$