Si la relación formula_2 cumple las propiedades reflexiva, antisimétrica, transitiva y total, es por lo tanto es un conjunto con orden total.