有上界的集合必有上确界;有最大值的集合必有上确界;有界的集合必有上确界.第二章单元测试