https://www.glc.us.es/~jalonso/calculemus/las-relaciones-definidas-por-particiones-son-transitivas/