Definition:Invariant Subset
Jump to navigation
Jump to search
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$
Sources
- 1991: Gertrude Ehrlich: Fundamental Concepts of Abstract Algebra: $\S 2$: Definition $2.11.2$