Definition:Invariant Subset

Definition

Let $S$ be a set.

Let $T \subseteq S$ be a subset of $S$.

Let $f: S \to S$ be a self-map on $S$.

Then $T$ is invariant under $f$ if and only if:

$\forall t \in T: \map f t \in T$