Por conclusión, un conjunto ordenado formula_171 es bien ordenado si todo subconjunto formula_206 de formula_1 tiene mínimo.