Sea formula_171 un conjunto ordenado.