Conjunto cociente
Keywords: Conjunto cociente, Clase de equivalencia, Conjunto, Igualdad de conjuntos, Matemáticas, Partición (matemáticas), Relación de equivalencia, Teoría de conjuntos
En matemáticas; estando ~ (una relación de equivalencia) definida en el conjunto K, llamaremos conjunto cociente de K por ~ y lo notaremos por K/~ a la partición de K formada por todas las clases de equivalencia determinadas en K por ~. Es decir, el conjunto cociente es el conjunto de todas las clases de equivalencia que se puedan formar con los elementos de K, dada ~.
Aquellas clases de equivalencia que sean iguales (véase Igualdad de conjuntos en Teoría de conjuntos) se aceptan como la misma y deben tomarse todas ellas como un único elemento del conjunto cociente.