https://www.glc.us.es/~jalonso/calculemus/isomorfismo-entre-relaciones-de-equivalencia-y-particiones/