Es fácil ver que esto define una relación de equivalencia entre todos los subconjuntos de formula_10.