https://www.glc.us.es/~jalonso/calculemus/las-particiones-definen-relaciones-de-equivalencia/