完备格

普通格只保证能把有限个选择两两合并；完备格则保证，无论候选族多大，都能在结构内部找到最紧的共同上界和共同下界。可以把它看成一座没有缺口的“信息容器”：许多分支汇合时，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；空集由有限格的顶元和底元处理。这里“有限”很关键，因为一般格只承诺每一对元素有界，不能把无限次二元运算当作已经存在的极限。

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

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

在该偏序中有上界，却没有有理数最小上界。这个反例说明“每个有限计算都在格内完成”不能替代任意子集的完备性。

完备性的几种不同含义 ​

序完备与度量完备不是同一个概念。完备格讨论任意集合的最小上界、最大下界；完备度量空间公理库完备度量空间Complete metric space每个 Cauchy 序列都在空间内部收敛的度量空间。讨论 Cauchy 序列是否收敛。一个结构可能同时具有两种完备性，但两套定义、证明机制和应用不能混用。

完备格也强于 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 是多条控制流汇合时覆盖所有可能性的最小可靠上界。若采用相反的信息序，运算方向也会反转；完备格只提供结构，语义方向必须由页面明确声明。