La representación gráfica del grafo de la relación formula_1 en el conjunto formula_2.