"Si formula_171 es un conjunto parcialmente ordenado, entonces formula_171 es bien fundado si y solo si no existe una secuencia infinita formula_239 tal que formula_240."