Invariant probability measure

For a measurable self-map $T:X\to X$, a probability measure $\mu$ is invariant if $T_*\mu=\mu$, equivalently $\mu(T^{-1}E)=\mu(E)$ for every measurable $E$. Specifying an invariant measure turns a measurable map into a probability-preserving system.