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