完备格。那么在 formula_13 中数列 formula_2收敛当且仅当 formula_16，而这时 formula_17 等于上面的共同值。（注意当只是考虑 R 时，收敛至 formula_18 或 formula_19 并不当作收敛，而是视作极限不存在。）若实数数列 formula_2 的上极限为实数（即为有限，不是 formula_21 ），那么上极限是最小的实数 "a"，使得对任意小的正实数 formula_22，都存在足够大的正整数 "N"，使得对所有 formula_23，都有 fo