Strong mixing (source code)

= Strong mixing

= Mixing measure-preserving transformation
{synonym}

A probability <measure-preserving transformation> is strongly mixing when $\mu(T^{-n}A\cap B)\to\mu(A)\mu(B)$ for every pair of measurable sets $A,B$. Unlike weak mixing, this is an ordinary limit along all sufficiently large times.