Let $M = (X, \mathcal{F}, \mu, T)$ be a D2827: Measure-preserving system such that
| (i) | $E \in \mathcal{F}$ is a D1109: Measurable set in $M$ |
Then
\begin{equation}
\mu(E)
= \mu(T^{-1} E)
= \mu(T^{-2} E)
= \mu(T^{-3} E)
= \cdots
\end{equation}
