非空有上界数集必有上确界，且上确界是唯一的。