Consider a Stationary Source on a finite alphabet .
Let be the shift operator .
The source is ergodic if all -invariant measurable sets are trivial i.e.