你的理解不对
有界的充要条件是既有上界又有下界
需要明确的是,上界和下界不唯一（更细的概念是上确界supf(x),下确界inff(x))