Pacopocopico

La definición establece lo que es el conjunto cociente, pero no define una topología para este conjunto. Es cierto que las propiedades se podrían usar para caracterizar esta topología; pero parece que sería más correcto presentar una definición de la topología en el apartado "Definición".