Sea formula_171 un conjunto parcialmente ordenado.