Al conjunto de todas las clases de equivalencia se denomina conjunto cociente y se denota como: