Nuestro postulado simplemente asegura la existencia de supremos para ciertos