Definition 40.1.3 (Subflow).label Let $G \curvearrowright X$ be a $G$-flow and $A \subset X$ be closed^[1] and invariant, then $G \curvearrowright A$ under the restricted action is a $G$-subflow.