Se llama order-complete si, siempreA yB son subconjuntos no vacíos deX con la propiedad que(∀a∈A)(∀b∈B)a≤b, entonces existec enX tal que\[(\fo...Se llama order-complete si, siempreA yB son subconjuntos no vacíos deX con la propiedad que(∀a∈A)(∀b∈B)a≤b, entonces existec enX tal que(∀a∈A)(∀b∈B)a≤c≤b. Tenga en cuenta que cualquier order-complete set debe tener la menor propiedad de límite superior - siA es cualquier conjunto delimitado no vacío, letB ser el conjunto de todos los límites superiores paraA, y luegoc from (8.20…
