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

A point is minimal when its forward orbit closure is a minimal dynamical system. This does not require the point to be a fixed point. In a finite-alphabet full shift, minimal points are exactly the uniformly recurrent sequences.

A minimal subsystem is a nonempty closed forward-invariant subset on which the restricted dynamical system is a minimal dynamical system. Every continuous map on a nonempty compact Hausdorff space has one: intersections of chains of nonempty closed invariant sets remain nonempty by compactness, so the Zorn lemma gives a minimal member.