Definition:Strongly Mixing Measure-Preserving Transformation

Definition
Let $\struct {X, \BB, \mu}$ be a probability space.

Let $T: X \to X$ be a measure-preserving transformation.

$T$ is said to be strongly mixing :
 * $\ds \forall A, B \in \BB : \lim_{n \mathop\to \infty} \map \mu {T^{-n} \sqbrk A \cap B} = \map \mu A \map \mu B$