Topological mixing

Summary

A continuous map is topologically mixing when every nonempty open set, after some time, meets every other nonempty open set at all later times. It strengthens topological transitivity, which only asks for one such time. It is the topological counterpart of strong mixing in ergodic theory. Expanding maps such as the doubling map of the circle are mixing, while rotations are never mixing.