El conjunto de las clases de equivalencia se llama "conjunto cociente".