Llamamos conjunto cociente de X por la relación R al conjunto formado por todas las clases de equivalencias de R, al que denotamos por X/R.