la_41 不一定包含任何的 formula_5，但是轻微扩大了的 [I-ε,S+ε]对任意小的ε > 0都会包含除了有限项外所有的 "x"。区间 ["I", "S"] 是适合这个性质的最小闭区间。
集的序列.集合"X"的幂集"P"("X")是完备格。对于"P"("X")中的序列，也就是"X"的子集的序列，其上下极限也有用处。若formula_55是这样的序列，那么"X"的元素"a"属于formula_56，当且仅当存在自然数formula_57使得对于所有formula