Sea formula_3 un conjunto y sea formula_29 el conjunto formado por todas las relaciones de equivalencia en formula_3.