En mi libro de texto que a continuación se presenta como un teorema, que a veces es también citada como definición del supremum:
S ⊆R, S no-vacío, σ = sup S FIB
- σ es una cota superior de S
- ∀ϵ>0∃y∈Sy>σ−ϵ
Creo que 2 solo está diciendo que para cualquier elemento menos de σ, hay algún elemento en S mayor de ese elemento. Por lo tanto condición 2 puede ser reescrita como:
∀xx