Construcción de Cociente

El proceso de formar un nuevo objeto algebraico colapsando un objeto original a lo largo de una relación de equivalencia (una congruencia, ideal, subgrupo normal, etc.) que sea compatible con sus operaciones, produciendo el objeto cociente cuyos elementos son clases de equivalencia y cuyas operaciones están bien definidas sobre dichas clases.