Recordemos que dicha partición está asociada a la relación de equivalencia, formula_145.