展开 集合下极限属于上极