 Invariant sigma-algebra

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