A D3116: Probabilistic endosystem $S = (\Omega, \mathcal{F}, \mathbb{P}, T)$ is probability-preserving system if and only if $T$ is a D3120: Probability-preserving endomorphism on $S$.