Ergodic theory is concerned with the extent to which iterates of a function mix subsets of a measure space. I will use the following basic concepts of ergodic theory specialized to the measure space with the measure . A measure-preserving function is