Let T be an invertible transformation of a Borel space X with a-nite quasi-invariant measure m. One can single out the following natural types of behaviour of T on a measurable subset A X: 1) A is invariant, i.e. TA = A; 2) A is recurrent, i.e., for a.e. point x 2 A there is n = n(x) > 0 such that T n x 2 A; 3) A is wandering, i.e., all its translations are pairwise disjoint (so that a.e. point...