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