展开 证明集列的下极限包含于上极