
_START_ARTICLE_
完全布尔代数
_START_PARAGRAPH_
在数学中，完全布尔代数是所有子集都有上确界的布尔代数。完全布尔代数在力迫理论中有重要作用。任何布尔代数A都有一A是其子代数的最小的完全布尔代数。作为偏序集合，这种A 的补全叫做戴德金补全。
_START_SECTION_
例子
_START_PARAGRAPH_
所有有限布尔代数都是完全的。_NEWLINE_给定集合的子集的代数是完全布尔代数。_NEWLINE_对应于任何拓扑空间的正规开代数都是完全布尔代数。这个例子特别重要，因为所有力迫偏序集合都可以被认为是一个拓扑空间(给由是小于等于给定元素的所有元素的集合的那些集合组成的拓扑的基)。对应的正规开代数可以用来形成等价于通过给定力迫偏序集合的一般扩展的布尔值模型。
_START_SECTION_
反例
_START_PARAGRAPH_
作为不完全的布尔代数的一个例子，考虑自然数的所有集合的搜集，并忽略有限差。结果的对象指示为P(ω)/Fin，由自然数的集合的所有等价类组成，这里有关的等价关系是两个自然数的集合是等价的，如果它们的对称差是有限的。类似的定义布尔运算，例如，如果 A 和 B 是在P(ω)/Fin 中的两个等价类，我们定义 是  的等价类，这里的a 和 b 分别是A 和 B 某个(任何)元素。_NEWLINE_现在设a₀, a₁,... 是自然数的逐对不相交无限集合，并设A₀, A₁,... 是它们在P(ω)/Fin 中对应的等价类。则给定A₀, A₁,... 在 P(ω)/Fin 中的任何上界X，我们可以找到一个更小的上界，通过从X 的一个代表去除每个aₙ 的一个元素。所以 Aₙ 没有上确界。