En algunos textos se exige otra condición, la de que < sea un buen orden en formula_3.