序极限

序极限，对于定向元列{xδ|δ∈△}，若存在单调元列{uδ|δ∈△}满足|xδ-x|≤uδ，且∧uδ=0 ，则称 x 为{xδ|δ∈△}的序极限。设 E 是里斯空间，对于 E 中的一族元 ，若存在 x，使 ，则称 x 为 的上界。 的上界中最小者称为 的上确界。用 或 表示。类似地，可定义 的下确界。