数列上下极限地不同定义方式及相关性质.