Ergodic measure-preserving transformation

A measure-preserving transformation is ergodic when every set in its invariant sigma-algebra has measure zero or full measure. Equivalently, every integrable invariant function is almost everywhere constant.