收敛数列与子数列的关系性 正推及逆推的命题的真假