区间邻域集合与实数集