Invariant sigma-algebra ($\mathcal{I}$)

The invariant sigma-algebra of $T$ consists, modulo null sets, of measurable sets $A$ satisfying $T^{-1}A=A$.