Aplicación Cociente

Una aplicación continua suprayectiva q : X -> Y que dota a Y de la topología cociente: un subconjunto U de Y es abierto si y solo si q^{-1}(U) es abierto en X. Equivalentemente, q es final para aplicaciones continuas desde X, identificando puntos según una relación de equivalencia y haciendo de Y el espacio más grueso para el que q es continua.