(a) 令 E 为有序集合,并且对于 E 的每个子集 X,令 ρ(X)(分别为 σ(X))表示 E 中 X 的上界(分别为下界)的集合。证明,在 P(E) 中, 子集 X的集合E~使得X=σ(ρ(X))是一个完全格,并且映射i:x→σ({x})是E的同构(称为*规范*)到E~的有序子集E'这样,如果一个族E 的元素 (xι) 在 E 中具有至少上界(分别为下确界),该至少上界(分别为下确界)中的像至少为上界(分别为下确界) xι的像家族的E~。 E~ 被称为有序集合 E 的*完备的*。
(b) 证明,对于 E 的每个子集 X,σ(ρ(X)) 是子集 i(X) E~ 的E~ 中最小的上界。如果 f 是 E 中的任意递增映射到完整格子 F 中,则 E~ 中存在唯一的递增映射 fˉ 到 F 中,使得对于每个子集 Z 都有f=fˉ∘i 和 fˉ(supZ)=sup(fˉ(Z)) E~。
(c) 如果 E 是全序的,则证明 E~ 是全序的。