$X\neq\emptyset$ bir küme ve $f:X\to X$ fonksiyon olmak üzere $$\tau_f=\{U\subseteq X ~|~f^{-1}[U]\subseteq U\}$$ ailesinin $X$ kümesi üzerinde bir topoloji olduğunu gösteriniz.
Not: Bu topolojiye fonksiyonel Alexandroff topolojisi deniyor.