完备格

普通格只保证能把有限个选择两两合并；完备格则保证，无论候选族多大，都能在结构内部找到最紧的共同上界和共同下界。可以把它看成一座没有缺口的“信息容器”：许多分支汇合时，join 给出覆盖全部分支的最小结果；许多约束同时施加时，meet 保留仍被全部约束接受的最大结果。

这里的“最紧”很重要。任取一个宽松上界通常不难，但它可能丢掉过多信息；上确界要求在所有可靠上界中再取最小者。完备性只保证这个最佳边界存在，不保证它有有限表示，也不保证计算它高效。数学上的合流能力与实现成本是两项不同承诺。

幂集格与函数格 ​

最标准的例子是幂集 $(\mathcal{P}(S),\subseteq )$。任意集合族 $\mathcal{A}\subseteq \mathcal{P}(S)$ 满足

并约定空并为 $\varnothing$、空交为 $S$。这里 join 表示把各分支允许的元素合并，meet 表示保留所有分支共同拥有的元素。

若 $L$ 是完备格，对任意索引集 $I$，函数集合 $L^I$ 按点态次序也是完备格。对函数族 $\mathcal{F}\subseteq L^I$，逐点计算

程序分析常把每个程序点映射为一个抽象状态，整个分析状态正是有限或无限索引集上的函数。

任意一族完备格的直积也按坐标逐点成为完备格。它允许把符号、奇偶性、区间等不同性质并排保存，各坐标分别计算 join 与 meet。

有限格与无限失败例 ​

每个有限格都是完备格。对非空有限子集可反复使用二元 join/meet；空集由有限格的顶元和底元处理。

整数 $(\mathbb{Z},\le )$ 是全序，任意两个整数都有最小值和最大值，所以它是格；但它没有顶元和底元，因而不是完备格。闭区间 $[0,1]$ 配通常次序则是完备格：任意非空子集的实数上确界和下确界都落在区间中；空集在这个格中的上、下确界分别为 $0$ 与 $1$。

有理区间 $[0,1]\cap \mathbb{Q}$ 不是完备格。集合

在该偏序中有上界，却没有有理数最小上界。它在实数中的上确界为 $1/\sqrt{2}$，恰好落在有理数格之外。

完备性的几种不同含义 ​

序完备由次序定义，要求任意子集有上、下确界；度量完备理路完备度量空间Complete metric space每个 Cauchy 序列都在空间内部收敛的度量空间。由距离定义，要求每个 Cauchy 序列在空间内收敛。例如通常次序和距离下的 $\mathbb{R}$ 是完备度量空间，但没有顶元和底元，所以不是完备格。

完备格也强于 DCPO。有向完备偏序理路有向完备偏序Directed-complete partial order · DCPO · Directed complete poset每个非空有向子集都具有上确界的偏序，用于汇聚相容的信息近似。只要求每个有向子集有上确界，适合把相容的有限信息逼近成极限；完备格要求连彼此冲突、不可比的任意集合也有 join 和 meet。指称语义中的递归常使用 DCPO 与 Scott 连续性，抽象解释和时序不动点则常使用完备格与单调性。

一个完备格的子格未必完备。即使子集对有限 join/meet 封闭，无限族在母格中的上确界也可能落到子集外。构造抽象性质的完备格时，可以直接定义任意 join/meet，或建立与已知完备格的保序同构。

完备格让任意一族候选近似都能合流，这正是单调算子理路偏序集上的单调映射Monotone map on posets · Order-preserving map · Isotone map在偏序之间保持次序的映射，以及它作为单调算子参与不动点迭代时的基本结构。不动点理论所需的全局边界。Knaster–Tarski 定理进一步说明，完备格上的单调自映射不仅有最小和最大不动点，全部不动点自身也形成完备格。

在数据流或抽象语义中，通常把 $a\le b$ 解释为 $a$ 比 $b$ 更精确、代表的具体状态更少。此时 join 是多条控制流汇合时覆盖所有可能性的最小可靠上界。若采用反包含关系排序，序中的较大元素代表更精确的信息，join 与 meet 的语义相应交换。