Invertible measure-preserving system
= 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.