Download
https://www.glc.us.es/~jalonso/calculemus/si-x-es-el-supremo-de-a-entonces-c1/
Si x es el supremo de A, entonces ∀ y, y < x → ∃ a ∈ A, y < a
Share