Entonces formula_36 es "parcialmente ordenado", pues sean