Minimal dynamical system (source code)

= Minimal dynamical system

A nonempty topological <dynamical system> $(Y,T)$ on a <compact Hausdorff space> is minimal if it has no proper nonempty closed forward-invariant <subset>. Equivalently, every forward <orbit> is dense in $Y$, because an <orbit closure> is closed and forward invariant. Minimality implies $T(Y)=Y$.