A set $R \subset{\Z}$ is a \emph{set of recurrence} if, given any invertible measure-preserving transformation $T$ on a probability space $(X, \mathcal{B}, \mu)$ and any set $A \in \mathcal{B}$ with $\mu (A) > 0$, we have ...