Si la relación formula_2 cumple las propiedades: reflexiva, antisimétrica y transitiva, es por lo tanto es un conjunto parcialmente ordenado.