Un elemento formula_32 es un "minimal" en formula_1 si no existe ningún elemento en formula_1 estrictamente menor que formula_64.