Solution (source code)

= Solution

A <measure-preserving transformation> $T$ on a <probability space> $(X,\mathcal A,m)$ is <ergodic measure-preserving transformation>[ergodic] if every <invariant sigma-algebra>[invariant event] $A\in\mathcal A$, meaning
$$
T^{-1}A=A
$$
up to an $m$-null set, satisfies $m(A)\in\{0,1\}$. Thus the <invariant sigma-algebra> is trivial modulo null sets.