Supóngase que formula_171 es un conjunto bien ordenado.