 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$.