Topological transitivity (source code)

= Topological transitivity
{wiki}

= Topologically transitive
{synonym}

A map $F:X\to X$ is topologically transitive when, for every pair of nonempty open sets $U,V$, some iterate satisfies $F^n(U)\cap V\ne\varnothing$.