In other words, the quotient topology is the finest topology on Y for which f is continuous.
Noutras palabras, a topoloxía cociente é a topoloxía máis fina en Y para a cal f é continua.