Sean formula_1 un conjunto y formula_58 una relación de orden en formula_1.