https://www.glc.us.es/~jalonso/calculemus/el-conjunto-de-las-clases-de-equivalencia-es-una-particion/