Por tanto, formula_40 es reflexiva, antisimétrica y transitiva, y formula_45 es un conjunto parcialmente ordenado.