meßbare Abbildung T der Menge Ω eines Wahrscheinlichkeitsraumes \(({\rm{\Omega }},{\mathfrak{A}},P)\) in sich mit der Eigenschaft P(T⁻¹(A)) = P(A) für alle \(A\in {\mathfrak{A}}\). Das Ereignis A und sein Urbild unter T besitzen also die gleiche Wahrscheinlichkeit.