假设某一有界无限点集没有聚点，则集合中每一点都存在一个开区间，使得唯有区间中点属于此集合