一个变量说其有界，就是最大不会超过，其一个值。最小不会比某一确定值小。前者称上界，后者称下界。上界和下界，都不是唯一的。选上界中的最小者，就是最小上界，取下界中的最大者，就是最大下界。