 Invertible measure-preserving system

An invertible measure-preserving system has a measurable inverse modulo null sets and preserves its measure in both time directions. Its Koopman operator on $L^2$ is unitary.