exo7 6035

Soit $X$ un espace topologique, et $f$ une application quelconque de $X$ dans un ensemble $Y$. On dit qu’une partie $A$ de $Y$ est ouverte, si $f^{-1}(A)$ est un ouvert de $X$. Vérifier qu’on a défini ainsi une topologie sur $Y$.