Sea formula_6 un conjunto parcialmente ordenado finito, con orden formula_17.