Cada elemento de la partición corresponde a una clase de equivalencia de la relación.