Cada conjunto de la partición es entonces una clase de equivalencia respecto a esa relación.