展开 集合的下极限定义