研赛02953集列的上极限与并运算可交换, 下极限呢?