anterior, que cualquier subconjunto de R tiene supremo e ínfimo.