Definition:Invariant Set/Negatively Invariant

From ProofWiki
Jump to navigation Jump to search

Definition

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$ such that:

$f^{-1} \sqbrk T \subseteq T$

Then $T$ is a negatively invariant set of $f$.


Also see


Sources