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.