algoritmos para estruturas de equivalências