# Terminology question in dynamical systems

Let $X$ be a topological space and let $f:X\rightarrow X$ be a continuous self-morphism of topological spaces. Let $Y$ be a closed $f$-stable subset of $X$, that is, suppose $f(Y)\subseteq Y$. Consider the additional condition that $f^{-1}(Y)=Y$. Is there a terminology for this situation in topological dynamics? I am not sure if there exists a terminology for this, but I am tempted to say $f$ isolates $Y$ if: 1) $Y$ is $f$-stable, and 2) $f^{-1}(Y)=Y$.

-
Adding on to Alexandre's answer: although I am not sure about the origins of the term "completely invariant", the only person that I know of who regularly uses this term is Stankewitz. See, for instance, arxiv.org/abs/math/9810090 and also rstankewitz.iweb.bsu.edu/numcomp.pdf where the term is defined in the background sections. If you can't find a cite-able original reference, maybe you can send him an email and ask where he saw first it. –  Vidit Nanda Dec 27 '12 at 21:06

Thank you! Can you suggest a good reference in order to cite this terminology? Also, if $f(Y)\subseteq Y$ and $f^{-1}(Y)\subseteq Y$ then $f^{-1}(Y)=Y$, so I am not sure why you used the term "weaker property"? –  Mahdi Majidi-Zolbanin Dec 27 '12 at 20:58
Hi Alex, I think Mahdi is right - for the exponential map, $f^{-1}(\mathbb{C})=\mathbb{C}$ ... indeed, $f(Y)\subset Y$ is equivalent to $Y\subset f^{-1}(Y)$. –  Lasse Rempe-Gillen Dec 28 '12 at 16:19