Category:Definitions/Invariant Sets

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Invariant Sets.
Related results can be found in Category:Invariant Sets.


Let $S$ be a set.

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

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


Then $T$ is an invariant set of $f$ if and only if:

$f \sqbrk Y = Y$