Usando la topología del cociente, una puede entonces demostrar que Top es también cocompleta.