Los resultados anteriores muestran que cada relación de equivalencia en un conjunto induce una partición del conjunto cuyos elementos son las clases de equivalencia de la relación.