Sean X un espacio topológico, Y un conjunto no vacío y g : X → Y una función suprayectiva. La colección τg subconjunto del conjunto potencia de Y definida por τg= {U ⊆ Y : g−1(U) es abierto en Y } es una topología en Y ...