Let $P = (\Omega, \mathcal{F}, \mathbb{P}, T)$ be a
D2839: Probability-preserving system such that
Then $P$ is an
ergodic probability-preserving system if and only if
\begin{equation}
\forall \, E \in \mathcal{S} :
\mathbb{P}(E) \in \{ 0, 1 \}
\end{equation}