auf einem Wahrscheinlichkeitsraum (Ω, 𝔄, P) definierte maßtreue Transformation T mit der Eigenschaft \begin{eqnarray}\mathop{\mathrm{lim}}\limits_{n\to \infty }P(A\cap {T}^{-n}(B))=P(A)P(B)\end{eqnarray}

für alle A, B ∈ 𝔄. Dabei bezeichnet T⁻ⁿ(B) das Urbild von B unter der n-fachen Komposition Tⁿ von T mit sich selbst.