A D3115: Measure space endosystem $S = (X, \mathcal{F}, \mu, T)$ is a measure-preserving system if and only if $T$ is a D2940: Measure-preserving endomorphism on $M$.