Llamaremos espacio cociente al conjunto de las clases de equivalencia anterior: